]> git.plutz.net Git - serve0/commitdiff
slightly quicker tag box rendering
authorPaul Hänsch <paul@plutz.net>
Tue, 16 Nov 2021 18:10:07 +0000 (19:10 +0100)
committerPaul Hänsch <paul@plutz.net>
Tue, 16 Nov 2021 18:10:07 +0000 (19:10 +0100)

No differences found