Admin/components/main
changeset 67010 cf56dd6f3ad1
parent 67009 b68592732783
child 67017 ce6454669360
     1.1 --- a/Admin/components/main	Sun Nov 05 12:13:27 2017 +0100
     1.2 +++ b/Admin/components/main	Sun Nov 05 14:35:43 2017 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  nunchaku-0.5
     1.5  polyml-test-79534495ee94
     1.6  postgresql-42.1.4
     1.7 -scala-2.12.3
     1.8 +scala-2.12.4
     1.9  smbc-0.4.1
    1.10  ssh-java-20161009
    1.11  spass-3.8ds