| changeset 49552 | 30fe027a18bd |
| parent 49447 | bec1add86e79 |
| child 50230 | 79773c44e57b |
--- a/Admin/components/main Mon Sep 24 16:27:48 2012 +0200 +++ b/Admin/components/main Mon Sep 24 16:39:26 2012 +0200 @@ -1,7 +1,7 @@ #main components for everyday use, without big impact on overall build time cvc3-2.4.1 e-1.5 -exec_process-1.0.1 +exec_process-1.0.2 jdk-7u6 jedit_build-20120903 kodkodi-1.2.16