Admin/components/main
changeset 57977 113b43b84412
parent 57852 0ecc524797dc
child 57995 08aa1e2cbec0
     1.1 --- a/Admin/components/main	Sun Aug 17 16:05:43 2014 +0200
     1.2 +++ b/Admin/components/main	Mon Aug 18 12:15:11 2014 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4  e-1.8
     1.5  exec_process-1.0.3
     1.6  Haskabelle-2014
     1.7 -jdk-7u65
     1.8 +jdk-7u67
     1.9  jedit_build-20140722
    1.10  jfreechart-1.0.14-1
    1.11  jortho-1.0-2