From 7904f409e2a11221b852505d6522b65b6c2900c7 Mon Sep 17 00:00:00 2001 From: Maria Matejka 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 --- proto/static/Doc | 1 - proto/static/progdoc | 1 + 2 files changed, 1 insertion(+), 1 deletion(-) delete mode 100644 proto/static/Doc create mode 100644 proto/static/progdoc (limited to 'proto/static') diff --git a/proto/static/Doc b/proto/static/Doc deleted file mode 100644 index 73632b1f..00000000 --- a/proto/static/Doc +++ /dev/null @@ -1 +0,0 @@ -S static.c diff --git a/proto/static/progdoc b/proto/static/progdoc new file mode 100644 index 00000000..73632b1f --- /dev/null +++ b/proto/static/progdoc @@ -0,0 +1 @@ +S static.c -- cgit v1.2.3