Thu, 09 Jul 2020 16:38:24 +0530 | Pulkit Goyal | mergestate: add comments about couple of record types and minor reorder | changeset | files |
Thu, 09 Jul 2020 15:50:02 +0530 | Pulkit Goyal | mergestate: remove unrequired RECORD_RESOLVED_OTHER record | changeset | files |
Thu, 09 Jul 2020 14:44:58 +0530 | Pulkit Goyal | mergestate: rename addpath() -> addpathonflict() to prevent confusion | changeset | files |
Sat, 18 Jul 2020 12:35:55 +0200 | Manuel Jacob | windows: don’t set `softspace` attribute in `winstdout` | changeset | files |