summaryrefslogtreecommitdiff
path: root/docs/manual/index.html.html
diff options
context:
space:
mode:
Diffstat (limited to 'docs/manual/index.html.html')
-rw-r--r--docs/manual/index.html.html1
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/manual/index.html.html b/docs/manual/index.html.html
deleted file mode 100644
index ee6e66d05f..0000000000
--- a/docs/manual/index.html.html
+++ /dev/null
@@ -1 +0,0 @@
-<!--#include virtual="index.html.en" -->