fix another manual typo
authorRobin Gareus <robin@gareus.org>
Fri, 15 Apr 2016 21:06:11 +0000 (23:06 +0200)
committerRobin Gareus <robin@gareus.org>
Fri, 15 Apr 2016 21:06:11 +0000 (23:06 +0200)
commit5c44ae8dd7033795a85569f01dcad65813fbb009
treeaf3f3f3e9899f73763179ec97eefe16c1754cbb9
parenteed0a7965c1934b534f6a294ef936277801d8a14
fix another manual typo
tools/fmt-luadoc.php