From 9ab0cfa5d5c63e4a88a656b57aa53276e23f9f76 Mon Sep 17 00:00:00 2001 From: Ralf Becker Date: Sat, 14 Jul 2001 09:16:57 +0000 Subject: [PATCH] not (longer) needed --- infolog/inc/header.inc.php | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 infolog/inc/header.inc.php diff --git a/infolog/inc/header.inc.php b/infolog/inc/header.inc.php deleted file mode 100644 index e80ce56e07..0000000000 --- a/infolog/inc/header.inc.php +++ /dev/null @@ -1,16 +0,0 @@ - \ No newline at end of file