Admin/isatest/settings/cygwin-poly-e
Tue, 01 Jun 2010 13:54:33 +0200 wenzelm use local /home/isatest/polyml-5.3.0 on atbroy102 to avoid problems with the SMB filesystem via homebroy;
Wed, 21 Apr 2010 11:11:42 +0200 wenzelm marked cygwin-poly as "e" test, which means further stages do not depend on it (website etc.);
less more (0) tip