Admin/PLATFORMS
changeset 63520 2803d2b8f85d
parent 62011 03e69b1bf359
child 64337 e3b57c8046cb
     1.1 --- a/Admin/PLATFORMS	Sun Jul 17 11:47:35 2016 +0200
     1.2 +++ b/Admin/PLATFORMS	Tue Jul 19 09:55:03 2016 +0200
     1.3 @@ -30,8 +30,8 @@
     1.4  following reference versions (which have been selected to be neither
     1.5  too old nor too new):
     1.6  
     1.7 -  x86-linux         Ubuntu 10.04 LTS
     1.8 -  x86_64-linux      Ubuntu 10.04 LTS
     1.9 +  x86-linux         Ubuntu 12.04 LTS
    1.10 +  x86_64-linux      Ubuntu 12.04 LTS
    1.11  
    1.12    x86_64-darwin     Mac OS X 10.8 Mountain Lion (macbroy30)
    1.13                      Mac OS X 10.9 Mavericks (macbroy2)