chiark / gitweb /
When cleaning up after failed clone, stat the to-be-cleaned-up directory before runni...
[dgit.git] / infra / cgit-regen-config
2015-07-18 Ian JacksonProvide cgit-regen-config command for cgi-grnet-01.