diff options
Diffstat (limited to 'usr/local/www/themes/code-red/menu.inc')
-rwxr-xr-x | usr/local/www/themes/code-red/menu.inc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/usr/local/www/themes/code-red/menu.inc b/usr/local/www/themes/code-red/menu.inc index ec9d389..a274410 100755 --- a/usr/local/www/themes/code-red/menu.inc +++ b/usr/local/www/themes/code-red/menu.inc @@ -1,6 +1,5 @@ <?php /* $Id$ */ -/* DISABLE_PHP_LINT_CHECKING */ /* ========================================================================== */ /* menu.inc |