# HG changeset patch
# User wenzelm
# Date 1337772749 -7200
# Node ID dba9409a3a5bf2ba51e52a2e8d9c7f098c77db52
# Parent  c5f7be4a1734b7d8c1d322a64c09b2ed4b9fb99f
prefer symbolic "contrib" -- mira should have a symlink to physical contrib_devel;

diff -r c5f7be4a1734 -r dba9409a3a5b Admin/contributed_components
--- a/Admin/contributed_components	Wed May 23 12:02:27 2012 +0200
+++ b/Admin/contributed_components	Wed May 23 13:32:29 2012 +0200
@@ -1,6 +1,6 @@
 #contributed components
 contrib/cvc3-2.2
-contrib_devel/e-1.5
+contrib/e-1.5
 contrib/hol-light-bundle-0.5-126
 contrib/kodkodi-1.2.16
 contrib/spass-3.8ds