]> git.plutz.net Git - blast/commitdiff
config file case sensitivity in some applications
authorPaul Hänsch <paul@plutz.net>
Fri, 29 May 2020 05:56:25 +0000 (07:56 +0200)
committerPaul Hänsch <paul@plutz.net>
Fri, 29 May 2020 05:56:25 +0000 (07:56 +0200)

No differences found