]> git.plutz.net Git - webtxt/commitdiff
always discard output from git
authorPaul Hänsch <paul@plutz.net>
Fri, 19 Mar 2021 14:50:12 +0000 (15:50 +0100)
committerPaul Hänsch <paul@plutz.net>
Fri, 19 Mar 2021 14:50:12 +0000 (15:50 +0100)

No differences found