summaryrefslogtreecommitdiff
path: root/etc/config
diff options
context:
space:
mode:
Diffstat (limited to 'etc/config')
-rw-r--r--etc/config4
1 files changed, 0 insertions, 4 deletions
diff --git a/etc/config b/etc/config
deleted file mode 100644
index d9df69f..0000000
--- a/etc/config
+++ /dev/null
@@ -1,4 +0,0 @@
-# Automatically generated file (don't edit)
-release=1.2d
-skribeurl=http://www.inria.fr/mimosa/fp/Skribe
-prefix=/usr/local