Admin/components/main
changeset 69399 9e488aeb9870
parent 69374 ab66951166f3
child 69419 8985ee17bfd2
     1.1 --- a/Admin/components/main	Mon Dec 03 22:07:23 2018 +0100
     1.2 +++ b/Admin/components/main	Mon Dec 03 22:21:35 2018 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  e-2.0-2
     1.5  isabelle_fonts-20181129
     1.6  jdk-11+28
     1.7 -jedit_build-20181026
     1.8 +jedit_build-20181203
     1.9  jfreechart-1.5.0
    1.10  jortho-1.0-2
    1.11  kodkodi-1.5.2-1