Oups... committed the wrong config.php file.

1 files changed, 0 insertions, 21 deletions

diff --git a/utils/config.php b/utils/config.php
deleted file mode 100644
index 8bdbd15..0000000
--- a/utils/config.php
+++ /dev/null
@@ -1,21 +0,0 @@
-<?php
-/* -*- Mode: php; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
-
-function config($var)
-{
-	global $TITLE, $PRELOAD, $DEFAULT_PAGE, $MENU;
-	switch($var) {
-	case 'title':
-		return $TITLE;
-	case 'preload':
-		return $PRELOAD;
-	case 'default':
-		return $DEFAULT_PAGE;
-	case 'menu':
-		return $MENU;
-	default:
-		return $var;
-	}
-}
-
-?>
\ No newline at end of file