chiark / gitweb /
Strip jarrg- from tag names
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 9 Apr 2023 09:52:24 +0000 (10:52 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 9 Apr 2023 09:52:24 +0000 (10:52 +0100)
We'll use these tags from now on.


No differences found