diff --git a/util/createdoxygen.php b/util/createdoxygen.php deleted file mode 100755 index 798c81474f..0000000000 --- a/util/createdoxygen.php +++ /dev/null @@ -1,93 +0,0 @@ -#!/usr/bin/php - 0) - $block .= $space." *\n"; - } - - $block .= $space." * @return \n". - $space." */\n"; - - return $block; -}