OSDN Git Service

Merge branch 'powerline-shell' into dev
authorhayao <shun819.mail@gmail.com>
Fri, 29 May 2020 05:09:13 +0000 (14:09 +0900)
committerhayao <shun819.mail@gmail.com>
Fri, 29 May 2020 05:09:13 +0000 (14:09 +0900)

Trivial merge