]> git.plutz.net Git - serve0/commitdiff
slight speed improvement by using printf instead of cat
authorPaul Hänsch <paul@plutz.net>
Tue, 22 Feb 2022 21:34:04 +0000 (22:34 +0100)
committerPaul Hänsch <paul@plutz.net>
Tue, 22 Feb 2022 21:34:04 +0000 (22:34 +0100)

No differences found