From d1c8f22becd6dd4d846e10edae951c3e0a170bd1 Mon Sep 17 00:00:00 2001 From: "Ondrej Zajicek (work)" Date: Wed, 19 Dec 2018 16:25:59 +0100 Subject: Doc: Move root of code documentation to doc dir It reduces clutter in root and also avoid collision with doc dir on case-insensitive filesystems when name back to Doc. --- progdoc | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 progdoc (limited to 'progdoc') 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 -- cgit v1.2.3