update luadoc tool (new manual website system)
authorRobin Gareus <robin@gareus.org>
Tue, 14 Feb 2017 13:44:51 +0000 (14:44 +0100)
committerRobin Gareus <robin@gareus.org>
Tue, 14 Feb 2017 13:44:51 +0000 (14:44 +0100)
commitdbdc2afd6d5de504d527870eed1ceb26e6f19425
tree690a1a9e69de5367f84d7179f623f4f89ea09932
parent659701c59b76bdcbfcf5c1b8ce8962eb3f6a1ca2
update luadoc tool (new manual website system)
tools/update_luadoc.sh