]> git.plutz.net Git - serve0/commit
ignore case when sorting, i.e. sort lower and upper case names together
authorpaul <paul@plutz.net>
Tue, 16 May 2017 09:49:20 +0000 (09:49 +0000)
committerpaul <paul@plutz.net>
Tue, 16 May 2017 09:49:20 +0000 (09:49 +0000)
commit7ec58bd054af6d434370d7b95abcef1ebd8d0727
tree7bcba2715aa8ff4cbe0b00222ebfa5c04ac4ac94
parent81d64d0623b1009292cd3a6f2162c7637d1f51ac
ignore case when sorting, i.e. sort lower and upper case names together

svn path=/trunk/; revision=184
pages/browse.sh
pages/list.sh