Admin/components/main
changeset 66935 d0f12783cd80
parent 66920 aefaaef29c58
child 67009 b68592732783
     1.1 --- a/Admin/components/main	Sun Oct 29 07:46:28 2017 +0100
     1.2 +++ b/Admin/components/main	Sun Oct 29 19:39:03 2017 +0100
     1.3 @@ -10,7 +10,7 @@
     1.4  jortho-1.0-2
     1.5  kodkodi-1.5.2
     1.6  nunchaku-0.5
     1.7 -polyml-test-905dae2ebfda
     1.8 +polyml-test-e8d82343b692
     1.9  postgresql-42.1.4
    1.10  scala-2.12.3
    1.11  smbc-0.4.1