prefer symbolic "contrib" -- mira should have a symlink to physical contrib_devel;
authorwenzelm
Wed May 23 13:32:29 2012 +0200 (2012-05-23)
changeset 47959dba9409a3a5b
parent 47958 c5f7be4a1734
child 47960 e462d33ca960
prefer symbolic "contrib" -- mira should have a symlink to physical contrib_devel;
Admin/contributed_components
     1.1 --- a/Admin/contributed_components	Wed May 23 12:02:27 2012 +0200
     1.2 +++ b/Admin/contributed_components	Wed May 23 13:32:29 2012 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  #contributed components
     1.5  contrib/cvc3-2.2
     1.6 -contrib_devel/e-1.5
     1.7 +contrib/e-1.5
     1.8  contrib/hol-light-bundle-0.5-126
     1.9  contrib/kodkodi-1.2.16
    1.10  contrib/spass-3.8ds