OSDN Git Service

Merge pull request #6 from salva09/master
authorpaperbenni <paperbenni@gmail.com>
Thu, 2 Jul 2020 12:41:18 +0000 (14:41 +0200)
committerGitHub <noreply@github.com>
Thu, 2 Jul 2020 12:41:18 +0000 (14:41 +0200)
Add kernel selection


Trivial merge