From b686d3fc124a300a3beaceccd8603fdfd220c1de Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 1 Apr 2004 10:14:46 +0000 Subject: [PATCH] removed out of date configuration file --- .../doc/http_getter.conf.xml.sample | 26 ------------------- 1 file changed, 26 deletions(-) delete mode 100644 helm/http_getter/doc/http_getter.conf.xml.sample diff --git a/helm/http_getter/doc/http_getter.conf.xml.sample b/helm/http_getter/doc/http_getter.conf.xml.sample deleted file mode 100644 index f629e2cba..000000000 --- a/helm/http_getter/doc/http_getter.conf.xml.sample +++ /dev/null @@ -1,26 +0,0 @@ - - - run/servers.txt - - run/cic_library - run/nuprl_library - run/rdf_library - run/dtd - - run/cic_db - run/nuprl_db - run/rdf_db - run/xsl_db - - gz - - - index.txt - rdf_index.txt - xslt_index.txt - - http://mowgli.cs.unibo.it/dtd - - 58081 - - -- 2.39.2