Admin/components/main
changeset 49097 4e5e48c589ea
parent 49000 0cebcbeac4c7
child 49401 617869cd779c
     1.1 --- a/Admin/components/main	Mon Sep 03 15:50:41 2012 +0200
     1.2 +++ b/Admin/components/main	Mon Sep 03 20:57:51 2012 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  cvc3-2.4.1
     1.5  e-1.5
     1.6  jdk-7u6
     1.7 -jedit_build-20120813
     1.8 +jedit_build-20120903
     1.9  kodkodi-1.2.16
    1.10  polyml-5.4.1
    1.11  scala-2.9.2