1 files changed, 0 insertions, 7 deletions

diff --git a/progdoc b/progdoc
deleted file mode 100644
index f5f15087..00000000
--- a/progdoc
+++ /dev/null
@@ -1,7 +0,0 @@
-C doc
-C nest
-C conf
-C filter
-C proto
-C sysdep
-C lib