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/Network.hs | |
parent | bc47aa7472e05b810339752da4d34bc04d37ef72 (diff) |
Optimize ancestor filtering using generation number
Diffstat (limited to 'src/Network.hs')
0 files changed, 0 insertions, 0 deletions