]> git.plutz.net Git - serve0/commitdiff
numeric order when sorting by name
authorPaul Hänsch <paul@plutz.net>
Tue, 31 Dec 2019 16:50:57 +0000 (17:50 +0100)
committerPaul Hänsch <paul@plutz.net>
Tue, 31 Dec 2019 16:50:57 +0000 (17:50 +0100)

No differences found