Sat, 09 Nov 2019 13:23:51 +0100 | Pierre-Yves David | index: add a `get_rev` method (API) | changeset | files |
Sat, 09 Nov 2019 13:23:51 +0100 | Pierre-Yves David | index: use `index.rev` in `revlog.rev` | changeset | files |
Sat, 09 Nov 2019 13:23:51 +0100 | Pierre-Yves David | index: add a `rev` method (API) | changeset | files |