OSDN Git Service

(root) / instantos / instantOS.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f3a65e1 ce86206)
Merge pull request #80 from instantOS/nocase_keysearch
authorpaperbenni <paperbenni@gmail.com>
Sat, 28 Nov 2020 21:34:20 +0000 (22:34 +0100)
committerGitHub <noreply@github.com>
Sat, 28 Nov 2020 21:34:20 +0000 (22:34 +0100)
flow improvements & case-insensitive key search


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