diff options
Diffstat (limited to 'docs/manual/index.html.html')
| -rw-r--r-- | docs/manual/index.html.html | 1 |
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" --> |