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)
commit1ca889518830a510b0a0403069235a6d0edfe412
tree5c6f9a03b864510645db6134f7e8f272bd793264
parent608948c06225bfd2a411fb710ec1383dd2a5267b
parente6c6b82f82318d373cba42d2cbe0daaf5e6f4c98
Merge pull request #6 from salva09/master

Add kernel selection