diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2025-04-28 15:32:50 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2025-04-28 15:32:50 +0200 |
| commit | 67bfeadd996019799d9f254f3b0e87b3d3de175c (patch) | |
| tree | 1962ff9c55d73107021edfa42d1e348a15ff05af /.gitignore | |
| parent | c1540cd35e9c908b0c66b40ffb8564b4167ade34 (diff) | |
rename function nonOverlapping() -> disjoint(), tidy comments
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions