Admin/components/main
changeset 56547 e9bb73d7b6cf
parent 56421 1ffd7eaa778b
child 56557 18d921496aa5
--- a/Admin/components/main	Fri Apr 11 19:07:56 2014 +0200
+++ b/Admin/components/main	Fri Apr 11 23:26:31 2014 +0200
@@ -6,6 +6,7 @@
 jdk-7u40
 jedit_build-20140405
 jfreechart-1.0.14-1
+jortho-1.0
 kodkodi-1.5.2
 polyml-5.5.1-1
 scala-2.10.4