summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorMaria Matejka <mq@jmq.cz>2018-04-23 11:29:13 +0200
committerMaria Matejka <mq@jmq.cz>2018-04-23 11:29:13 +0200
commit7904f409e2a11221b852505d6522b65b6c2900c7 (patch)
tree6add69bd117d135146f4f8774cba2be159a83837 /lib
parent4c0b741ba7419e2cb816e1dc9a23096234d998e2 (diff)
Doc: renamed progdoc files Doc -> progdoc to fix collision with doc/ folder on case-insensitive filesystems
Diffstat (limited to 'lib')
-rw-r--r--lib/progdoc (renamed from lib/Doc)0
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/Doc b/lib/progdoc
index 632bf1f6..632bf1f6 100644
--- a/lib/Doc
+++ b/lib/progdoc