OSDN Git Service

(root) / instantos / instantOS.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c85fb95 0ea28c7)
Merge pull request #81 from bob8677/master
authorpaperbenni <paperbenni@gmail.com>
Tue, 8 Dec 2020 16:20:06 +0000 (17:20 +0100)
committerGitHub <noreply@github.com>
Tue, 8 Dec 2020 16:20:06 +0000 (17:20 +0100)
make instantdisper case insensitive


Trivial merge
central install script repo
About OSDN
Find Software
Develop Software
Help