Merge branch 'develop'

[nncp.git] / all.do

diff --git a/all.do b/all.do
deleted file mode 100644 (file)
index 8c7fdb1..0000000
--- a/all.do
+++ /dev/null
@@ -1 +0,0 @@
-redo-ifchange bin/all