HomeSoftware Heritage

map generation: distinguish log lines by map type

Description

map generation: distinguish log lines by map type

Details

Provenance
zackAuthored on Nov 6 2019, 5:41 PM
zackPushed on Nov 6 2019, 8:56 PM
Parents
rDGRPH44c6c65317e1: map generation: reduce sort buffer size (by *cough* 1024x *cough*)
Branches
Unknown
Tags
Unknown

Event Timeline