Fix the docs helper tool
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Sat, 23 Sep 2017 08:20:11 +0000 (10:20 +0200)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Sat, 23 Sep 2017 08:20:11 +0000 (10:20 +0200)
commitc31e083ead1d494d7ebaa3947028ea6cee302f32
treec69af42d19ae76eb0f9dd91b93bf34106d92334e
parent9436f0b0c31d2df49647e301ab3d6e2053b356b8
Fix the docs helper tool
tpl/cast/docshelper.go