OSDN Git Service

Merge branch 'master' of https://github.com/instantos/instantOS into master
authorpaperbenni <paperbenni@gmail.com>
Mon, 17 Aug 2020 18:43:24 +0000 (20:43 +0200)
committerpaperbenni <paperbenni@gmail.com>
Mon, 17 Aug 2020 18:43:24 +0000 (20:43 +0200)

Trivial merge