git-cache-proxy: housekeeping: use rm -rf, not remove_tree (which is weirdly broken)

[chiark-utils.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index e6b1bc4002eceacfaa3f3d7ba12948e4538e3d65..d7146d69203f03c46fb03bfe815c6d1a44f00480 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -9,6 +9,7 @@ cprogs/trivsoundd
 cprogs/really
 cprogs/with-lock-ex
 cprogs/xbatmon-simple
+cprogs/xduplic-copier
 cprogs/mcastsoundd
 cprogs/summer
 cprogs/watershed