updated to jedit_build-20121201 (based on jedit-5.0.0);
authorwenzelm
Sat Dec 01 22:47:03 2012 +0100 (2012-12-01)
changeset 5030938870ee59311
parent 50308 08b55c5ce064
child 50310 b00eeb8e352e
updated to jedit_build-20121201 (based on jedit-5.0.0);
Admin/component_repository/components.sha1
Admin/components/main
     1.1 --- a/Admin/component_repository/components.sha1	Sat Dec 01 22:42:54 2012 +0100
     1.2 +++ b/Admin/component_repository/components.sha1	Sat Dec 01 22:47:03 2012 +0100
     1.3 @@ -17,6 +17,7 @@
     1.4  6425f622625024c1de27f3730d6811f6370a19cd  jedit_build-20120414.tar.gz
     1.5  7b012f725ec1cc102dc259df178d511cc7890bba  jedit_build-20120813.tar.gz
     1.6  8e1d36f5071e3def2cb281f7fefe9f52352cb88f  jedit_build-20120903.tar.gz
     1.7 +8fa0c67f59beba369ab836562eed4e56382f672a  jedit_build-20121201.tar.gz
     1.8  6c737137cc597fc920943783382e928ea79e3feb  kodkodi-1.2.16.tar.gz
     1.9  5f95c96bb99927f3a026050f85bd056f37a9189e  kodkodi-1.5.2.tar.gz
    1.10  1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb  polyml-5.4.1.tar.gz
     2.1 --- a/Admin/components/main	Sat Dec 01 22:42:54 2012 +0100
     2.2 +++ b/Admin/components/main	Sat Dec 01 22:47:03 2012 +0100
     2.3 @@ -3,7 +3,7 @@
     2.4  e-1.6
     2.5  exec_process-1.0.3
     2.6  jdk-7u9
     2.7 -jedit_build-20120903
     2.8 +jedit_build-20121201
     2.9  kodkodi-1.5.2
    2.10  polyml-5.5.0
    2.11  scala-2.9.2