From 1e0fccd1af54fdd4dbd79f6e7c5715478f83dea3 Mon Sep 17 00:00:00 2001 From: "Ondrej Zajicek (work)" Date: Fri, 14 Dec 2018 01:53:32 +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. --- doc/progdoc | 1 - 1 file changed, 1 deletion(-) delete mode 100644 doc/progdoc (limited to 'doc/progdoc') diff --git a/doc/progdoc b/doc/progdoc deleted file mode 100644 index 0c3e04e5..00000000 --- a/doc/progdoc +++ /dev/null @@ -1 +0,0 @@ -D prog-intro.sgml -- cgit v1.2.3