]> git.plutz.net Git - serve0/commit
minor optimisations
authorPaul Hänsch <paul@plutz.net>
Mon, 16 Jul 2018 10:22:05 +0000 (12:22 +0200)
committerPaul Hänsch <paul@plutz.net>
Mon, 16 Jul 2018 10:22:05 +0000 (12:22 +0200)
commita6d47d63a2ae5495d06c4514be273d5168b71855
tree3407209a38a68a0254e87ea1d70ca45f8f720e8e
parentee2a0b2dc2a7a72f6c7cb16fa5108c5597637e7d
minor optimisations
cgilite
list.sh
widgets.sh