OSDN Git Service

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)
commit9dd2a0cf227d92c628457379bd890a640fe0defd
tree7391c8faf47dbfdf1e1bf72ba2c28dde6b6c02a1
parentc85fb95f1c73acbc82e0cf23bc8f286baf462d00
parent0ea28c7e240c08d4b7b829f3e10af8d2c5bbc453
Merge pull request #81 from bob8677/master

make instantdisper case insensitive