Admin/components/main
changeset 53415 9ebab8b7d73c
parent 53014 2b5580da3874
child 53417 32ec957e5c3e
     1.1 --- a/Admin/components/main	Thu Sep 05 01:58:48 2013 +0200
     1.2 +++ b/Admin/components/main	Thu Sep 05 12:33:51 2013 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  exec_process-1.0.3
     1.5  Haskabelle-2013
     1.6  jdk-7u21
     1.7 -jedit_build-20130628
     1.8 +jedit_build-20130905
     1.9  jfreechart-1.0.14
    1.10  kodkodi-1.5.2
    1.11  polyml-5.5.0-3