use default library for Polyhedra in 0.7#831

Merged

schillic merged 1 commit intomasterfrom mforets/use_default_library

Oct 20, 2018

+36-18

Commits on Oct 20, 2018

use default library in 0.7
mforets
committed