| Thu, 08 Mar 2018 21:09:22 +0100 | wenzelm | tuned -- avoid regex matching on potentially large string; | changeset | files |
| 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 |