]> git.plutz.net Git - serve0/commit
UI name for groupsort
authorPaul Hänsch <paul@plutz.net>
Tue, 4 Dec 2018 20:05:59 +0000 (21:05 +0100)
committerPaul Hänsch <paul@plutz.net>
Tue, 4 Dec 2018 20:05:59 +0000 (21:05 +0100)
commita59cc5b719fece10626f11f8c7558d01a676e773
tree338b0f7f96391d6717f4f57eb5729b2b739c082f
parentd1e7e3c7931410f6705f7f89f03c580380a354f1
UI name for groupsort
widgets.sh