summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-07-07 20:52:18 +0200
committerChristian Grothoff <christian@grothoff.org>2019-07-07 20:52:18 +0200
commit6cf199ba3e2b58a505529ff253195a35e735fd6a (patch)
tree9b81046b1e59d26246cef4b731ea174ec62f4e23 /doc
parent62ff3da8f3d0bcc1125841187912bd0dfb62c59c (diff)
move index file
Diffstat (limited to 'doc')
-rw-r--r--doc/index.html (renamed from doc/handbook/index.html)0
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/handbook/index.html b/doc/index.html
index f0d665b02..f0d665b02 100644
--- a/doc/handbook/index.html
+++ b/doc/index.html