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)
commita737f9869667e5e4c3ecd84a8260cd954bad1038
tree39a7bfcee23f48822a6ecda8137138cf7bbbf3de
parent75d7ededcd47535f6d7de5273e2f2befaf9f61ab
Strip jarrg- from tag names

We'll use these tags from now on.
build-sh