Skip to content

Remove direct dependency on billiard

vlorentz requested to merge billiard into master

As pointed out in !134 (comment 152034), we don't import it since 28772169

Merge request reports