Tue, 14 Apr 2020 03:05:54 +0200 | Pierre-Yves David | nodemap: move on disk file to version 1 | changeset | files |
Tue, 14 Apr 2020 03:01:52 +0200 | Pierre-Yves David | nodemap: add a new mode value, "strict" | changeset | files |
Tue, 14 Apr 2020 02:45:05 +0200 | Pierre-Yves David | nodemap: add a new mode option, with an optional "warn" value | changeset | files |