summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--MANIFEST1
1 files changed, 0 insertions, 1 deletions
diff --git a/MANIFEST b/MANIFEST
index 219c0ea..dfe4b00 100644
--- a/MANIFEST
+++ b/MANIFEST
@@ -45,7 +45,6 @@
./bin/runtest _DO_NOT_DISTRIBUTE_
./bin/snapshot
./bin/trace
-./bin/versinc _DO_NOT_DISTRIBUTE_
./config/BlankForm
./config/commence.in