| changeset 50293 | 4eea6572896e |
| parent 50230 | 79773c44e57b |
| child 50294 | dceb1daa185c |
--- a/Admin/components/main Fri Nov 30 15:05:51 2012 +0100 +++ b/Admin/components/main Fri Nov 30 15:24:01 2012 +0100 @@ -1,7 +1,7 @@ #main components for everyday use, without big impact on overall build time cvc3-2.4.1 e-1.6 -exec_process-1.0.2 +exec_process-1.0.3 jdk-7u6 jedit_build-20120903 kodkodi-1.5.2