]> git.plutz.net Git - serve0/commitdiff
quicker name prefix assignment
authorPaul Hänsch <paul@plutz.net>
Tue, 22 Feb 2022 15:23:42 +0000 (16:23 +0100)
committerPaul Hänsch <paul@plutz.net>
Tue, 22 Feb 2022 15:23:42 +0000 (16:23 +0100)

No differences found