OSDN Git Service

Merge branch 'grub-theme' into dev
authorhayao <shun819.mail@gmail.com>
Mon, 13 Apr 2020 03:27:18 +0000 (12:27 +0900)
committerhayao <shun819.mail@gmail.com>
Mon, 13 Apr 2020 03:27:18 +0000 (12:27 +0900)

Trivial merge