Admin/components/main
changeset 67992 752a4e6d760c
parent 67953 f646d1c826a1
child 67995 927c6f4405db
     1.1 --- a/Admin/components/main	Tue Apr 17 10:22:42 2018 +0100
     1.2 +++ b/Admin/components/main	Tue Apr 17 14:48:55 2018 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  e-2.0-1
     1.5  isabelle_fonts-20180113
     1.6  jdk-8u162
     1.7 -jedit_build-20170319
     1.8 +jedit_build-20180417
     1.9  jfreechart-1.0.14-1
    1.10  jortho-1.0-2
    1.11  kodkodi-1.5.2