summary refs log tree commit diff stats
path: root/config/nimrod.cfg
diff options
context:
space:
mode:
Diffstat (limited to 'config/nimrod.cfg')
-rwxr-xr-xconfig/nimrod.cfg1
1 files changed, 0 insertions, 1 deletions
diff --git a/config/nimrod.cfg b/config/nimrod.cfg
index 6a9289a5e..5f4c12786 100755
--- a/config/nimrod.cfg
+++ b/config/nimrod.cfg
@@ -15,7 +15,6 @@ cc = gcc
 @end
 
 path="$lib/pure"
-path="$lib/devel"
 path="$lib/impure"
 path="$lib/wrappers"
 path="$lib/wrappers/cairo"