2 Dec
2008
2 Dec
'08
8:40 a.m.
Version 747 was commited by robert on 2008-12-02 08:40:19 +0000 (Tue, 02 Dec 2008) More diagnostics, and call mapper.finish() in PolishMapDataSource. Oms2mp-generated maps at least don't come with background polytopes for the moment. Revert later if appropriate.