diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2020-03-21 21:56:17 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2020-03-21 21:56:17 +0100 |
| commit | b80bf0219b9efd4b5eb22d5e5eae98cf07968fb6 (patch) | |
| tree | 3f5993db051f6adfb1e925c524c04f029b790888 /src/Erebos/Storage/Key.hs | |
| parent | bc47aa7472e05b810339752da4d34bc04d37ef72 (diff) | |
Optimize ancestor filtering using generation number
Diffstat (limited to 'src/Erebos/Storage/Key.hs')
0 files changed, 0 insertions, 0 deletions