Mon, 14 May 2012 15:54:26 +0200 | blanchet | graceful handling of Waldmeister endgame | changeset | files |
Mon, 14 May 2012 15:54:26 +0200 | blanchet | improve parsing of Waldmeister dependencies (and kill obsolete hack) | changeset | files |
Mon, 14 May 2012 15:54:26 +0200 | blanchet | tuning | changeset | files |