From 3c93db8810dc893f4a54f352e49393dff6bc6037 Mon Sep 17 00:00:00 2001 From: joey <> Date: Thu, 18 Nov 2004 17:12:24 +0000 Subject: [PATCH] Not used anymore --- web/.wmlrc | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 web/.wmlrc diff --git a/web/.wmlrc b/web/.wmlrc deleted file mode 100644 index 2320f93..0000000 --- a/web/.wmlrc +++ /dev/null @@ -1,10 +0,0 @@ --D WML_SRC_REALNAME="Debian Webmaster" --D WML_SRC_USERNAME=webmaster --D WML_GEN_HOSTNAME=debian.org --D CUR_ISO_LANG="en" --I template --D SEARCH="http://search.debian.org/" --D INTRO="http://www.debian.org/intro" --D DISTRIB="http://www.debian.org/distrib" --D HOME="http://www.debian.org" --D PICS="http://www.debian.org/Pics" -- 2.20.1