1 files changed, 0 insertions, 2 deletions

diff --git a/all.do b/all.do
deleted file mode 100644
index 60dfc91..0000000
--- a/all.do
+++ /dev/null
@@ -1,2 +0,0 @@
-. ./config.rc
-redo-ifchange bin/all doc/cpt.info