From c2fc4c10ac81b8815c1434aa2b0945aa937df4fa Mon Sep 17 00:00:00 2001
From: Maria Matejka <mq@jmq.cz>
Date: Mon, 23 Apr 2018 11:29:13 +0200
Subject: Doc: renamed progdoc files Doc -> progdoc to fix collision with doc/
 folder on case-insensitive filesystems

---
 doc/Doc | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 doc/Doc

(limited to 'doc/Doc')

diff --git a/doc/Doc b/doc/Doc
deleted file mode 100644
index 0c3e04e5..00000000
--- a/doc/Doc
+++ /dev/null
@@ -1 +0,0 @@
-D prog-intro.sgml
-- 
cgit v1.2.3