move index file
authorChristian Grothoff <christian@grothoff.org>
Sun, 7 Jul 2019 18:52:18 +0000 (20:52 +0200)
committerChristian Grothoff <christian@grothoff.org>
Sun, 7 Jul 2019 18:52:18 +0000 (20:52 +0200)
commit6cf199ba3e2b58a505529ff253195a35e735fd6a
tree9b81046b1e59d26246cef4b731ea174ec62f4e23
parent62ff3da8f3d0bcc1125841187912bd0dfb62c59c
move index file
doc/handbook/index.html [deleted file]
doc/index.html [new file with mode: 0644]