diff --git a/tools/fmt-luadoc.php b/tools/fmt-luadoc.php index d091bd0a0e..38221c7f14 100755 --- a/tools/fmt-luadoc.php +++ b/tools/fmt-luadoc.php @@ -703,7 +703,7 @@ function format_class_members ($ns, $cl, &$dups) { $rv.= '