Skip to content

Allow computing the empty transitive path#1800

Closed
RobinTF wants to merge 2 commits intoad-freiburg:masterfrom RobinTF:empty-transitive-path

Commits

Commits on Feb 12, 2025