chiark / gitweb /
dgit: remove_stray_gits: Print a slightly better message
[dgit.git] / infra / cgit-regen-config
2015-07-18 Ian JacksonProvide cgit-regen-config command for cgi-grnet-01.