summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMartin Fischer <martin@push-f.com>2022-06-24 18:55:08 +0200
committerMartin Fischer <martin@push-f.com>2022-06-24 19:21:59 +0200
commitc04faae8f0029ad905c0b55139e8ab5cb35ead93 (patch)
treeb739c81e44b156c915d6adaf16a782202f6973c3 /.gitignore
parent5cb14b038a4c6e19b5e9192b3ba459f0dbf02d70 (diff)
support length calculation for relations that aren't superrelations
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions