]> git.plutz.net Git - serve0/commit
stable sort (keep name order when sorting by lenght)
authorPaul Hänsch <paul@plutz.net>
Tue, 4 Dec 2018 20:02:46 +0000 (21:02 +0100)
committerPaul Hänsch <paul@plutz.net>
Tue, 4 Dec 2018 20:02:46 +0000 (21:02 +0100)
commitd1e7e3c7931410f6705f7f89f03c580380a354f1
tree22036c92e650cde418dc4878604bd1c30c78110b
parentbce8891e9f27d8aad29436a2771a0027a6012fd7
stable sort (keep name order when sorting by lenght)
indexmeta.sh
list.sh