chiark / gitweb /
Tag change: Rename debiantag to debiantag_old
[dgit.git] / infra / cgit-regen-config
2015-07-18 Ian JacksonProvide cgit-regen-config command for cgi-grnet-01.