diff --git a/build-scripts/wikiheaders.pl b/build-scripts/wikiheaders.pl index 8649d4b0a9..98591493b7 100755 --- a/build-scripts/wikiheaders.pl +++ b/build-scripts/wikiheaders.pl @@ -2627,12 +2627,6 @@ if ($copy_direction == 1) { # --copy-to-headers -## Categories - - - - - ## Functions