docs: add tools dir to dir-overview
authorØyvind Kolås <pippin@gimp.org>
Wed, 19 Jun 2019 12:27:11 +0000 (14:27 +0200)
committerØyvind Kolås <pippin@gimp.org>
Wed, 19 Jun 2019 12:27:11 +0000 (14:27 +0200)
commit319d95c282d1780d794572722c7822fc7cfc461f
tree3b6aae5d0c1e87e22f7f027e19359ab0f946f3e2
parent01b67e82a3db8abfc5712713de7286c9bbb3dbed
docs: add tools dir to dir-overview
docs/index-static.html.in