Admin/components/main
changeset 56607 ab7c656215f2
parent 56596 40edc550667c
child 56660 5d629da46f04
     1.1 --- a/Admin/components/main	Wed Apr 16 14:16:22 2014 +0200
     1.2 +++ b/Admin/components/main	Wed Apr 16 18:28:13 2014 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4  e-1.8
     1.5  exec_process-1.0.3
     1.6  Haskabelle-2013
     1.7 -jdk-7u40
     1.8 +jdk-8u5
     1.9  jedit_build-20140405
    1.10  jfreechart-1.0.14-1
    1.11  jortho-1.0-2