commit 6cf199ba3e2b58a505529ff253195a35e735fd6a parent 62ff3da8f3d0bcc1125841187912bd0dfb62c59c Author: Christian Grothoff <christian@grothoff.org> Date: Sun, 7 Jul 2019 20:52:18 +0200 move index file Diffstat:
| R | doc/handbook/index.html -> doc/index.html | | | 0 |
1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/doc/handbook/index.html b/doc/index.html