updated to jedit_build-20190224 (new patches: favorites, glyphvector);
authorwenzelm
Sun Feb 24 13:00:43 2019 +0100 (4 months ago ago)
changeset 70021a35033167f01
parent 70020 828f3cd0dcf9
child 70022 b3c9291b5fc7
updated to jedit_build-20190224 (new patches: favorites, glyphvector);
Admin/components/components.sha1
Admin/components/main
     1.1 --- a/Admin/components/components.sha1	Sun Feb 24 12:53:23 2019 +0100
     1.2 +++ b/Admin/components/components.sha1	Sun Feb 24 13:00:43 2019 +0100
     1.3 @@ -148,6 +148,7 @@
     1.4  847492b75b38468268f9ea424d27d53f2d95cef4  jedit_build-20181203.tar.gz
     1.5  536a38ed527115b4bf2545a2137ec57b6ffad718  jedit_build-20190120.tar.gz
     1.6  58b9f03e5ec0b85f8123c31f5d8092dae5803773  jedit_build-20190130.tar.gz
     1.7 +ec0aded5f2655e2de8bc4427106729e797584f2f  jedit_build-20190224.tar.gz
     1.8  0bd2bc2d9a491ba5fc8dd99df27c04f11a72e8fa  jfreechart-1.0.14-1.tar.gz
     1.9  8122526f1fc362ddae1a328bdbc2152853186fee  jfreechart-1.0.14.tar.gz
    1.10  d911f63a5c9b4c7335bb73f805cb1711ce017a84  jfreechart-1.5.0.tar.gz
     2.1 --- a/Admin/components/main	Sun Feb 24 12:53:23 2019 +0100
     2.2 +++ b/Admin/components/main	Sun Feb 24 13:00:43 2019 +0100
     2.3 @@ -6,7 +6,7 @@
     2.4  e-2.0-2
     2.5  isabelle_fonts-20190210
     2.6  jdk-11.0.2+9
     2.7 -jedit_build-20190130
     2.8 +jedit_build-20190224
     2.9  jfreechart-1.5.0
    2.10  jortho-1.0-2
    2.11  kodkodi-1.5.2-1