Martin von Zweigbergk 2e12aad1f7 id_prefix: add IdIndex::has_key()
For the support for shorter prefixes within a revset, we'll want to be
able to check if an id is in the index.
2023-05-11 23:41:24 -07:00
..
2023-03-05 23:50:20 +01:00
2023-04-24 11:28:12 -07:00
2023-05-11 23:41:24 -07:00
2023-01-30 09:05:03 -08:00