update index page
authorChristian Grothoff <christian@grothoff.org>
Sun, 7 Jul 2019 18:29:50 +0000 (20:29 +0200)
committerChristian Grothoff <christian@grothoff.org>
Sun, 7 Jul 2019 18:29:59 +0000 (20:29 +0200)
commitbc67657528b7e52c9c5e5a7603008ac22815e741
tree590ac033bedaccb4eb8a809d3e0f34b39e1f0947
parent9ffc488dd37caebe53ce4af86fb1a3f0eacc7c7c
update index page
doc/handbook/index.html