Fix one missing conversion to numtree
authorMagnus Hagander <magnus@hagander.net>
Fri, 19 May 2017 11:53:58 +0000 (13:53 +0200)
committerMagnus Hagander <magnus@hagander.net>
Fri, 19 May 2017 11:53:58 +0000 (13:53 +0200)
commit883d0de6378c6c0e77cb4b20c2e9884a38781c62
tree4b89590bb8ea2080d7a92a512794429224a80ad0
parentcdcabba41b791117f2c01a69251e2d9d07047a47
Fix one missing conversion to numtree

Spotted by Daniel Gustafsson
templates/docs/index.html