Merge branch 'develop'

[nncp.git] / clean.do

diff --git a/clean.do b/clean.do
deleted file mode 100644 (file)
index ebefc3e..0000000
--- a/clean.do
+++ /dev/null
@@ -1,2 +0,0 @@
-redo bin/clean
-rm -f VERSION