This commit was manufactured by cvs2svn to create branch 'moogle'.

[helm.git] / helm / proofChecker / proofChecker.conf.xml.sample

diff --git a/helm/proofChecker/proofChecker.conf.xml.sample b/helm/proofChecker/proofChecker.conf.xml.sample
deleted file mode 100644 (file)
index 1f58c6c..0000000
--- a/helm/proofChecker/proofChecker.conf.xml.sample
+++ /dev/null
@@ -1,11 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<helm_registry>
- <section name="proofchecker">
-  <key name="port">58084</key>
- </section>
- <section name="getter">
-  <key name="mode">remote</key>
-  <key name="url">http://localhost:58081/</key>
-  <!-- <key name="url">http://mowgli.cs.unibo.it:58081/</key> -->
- </section>
-</helm_registry>