| Thu, 08 Mar 2018 14:12:25 +0100 | wenzelm | more robust build: prevent problems seen with Poly/ML eb94e2820013 on Mac OS X; | changeset | files |
| Thu, 08 Mar 2018 11:46:37 +0100 | wenzelm | clarified notion of unknown files: ignore files outside of a Mercurial repository; | changeset | files |
| Thu, 08 Mar 2018 11:20:45 +0100 | wenzelm | more balanced AFP partitioning; | changeset | files |