diff options
author | Martin Fischer <martin@push-f.com> | 2022-06-24 18:55:08 +0200 |
---|---|---|
committer | Martin Fischer <martin@push-f.com> | 2022-06-24 19:21:59 +0200 |
commit | c04faae8f0029ad905c0b55139e8ab5cb35ead93 (patch) | |
tree | b739c81e44b156c915d6adaf16a782202f6973c3 /.gitignore | |
parent | 5cb14b038a4c6e19b5e9192b3ba459f0dbf02d70 (diff) |
support length calculation for relations that aren't superrelations
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions