From 2e73daba4583597ef4cabaaebebeded73ec7434b Mon Sep 17 00:00:00 2001
From: rswindell <>
Date: Wed, 29 Nov 2000 14:55:31 +0000
Subject: [PATCH] Created sub index.html for http servers that default to
 index.html (instead of .htm)

---
 docs/index.html | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 docs/index.html

diff --git a/docs/index.html b/docs/index.html
new file mode 100644
index 0000000000..a7f15ab193
--- /dev/null
+++ b/docs/index.html
@@ -0,0 +1,4 @@
+<!-- This is for http servers that default to index.html -->
+<html>
+<meta http-equiv="refresh" content="0; URL=index.htm">
+</html>
\ No newline at end of file
-- 
GitLab