chiark / gitweb /
git-cache-proxy: housekeeping: use rm -rf, not remove_tree (which is weirdly broken)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 28 Jul 2014 14:50:59 +0000 (15:50 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 28 Jul 2014 14:50:59 +0000 (15:50 +0100)
commit79964a37f8c4566762ffcf447f5404dd777cf114
tree03c5265bd114c63573a3ccfcac0a559de4757cf4
parent761b7bbea765ad42dc2f38278f3d41a042cf7c5d
git-cache-proxy: housekeeping: use rm -rf, not remove_tree (which is weirdly broken)
scripts/git-cache-proxy