Commit 2020-07-25 15:23 3484194d
View on Github →chore(geometry/manifold/real_instance): remove global fact instance (#3549)
Remove global fact instance that was used to get a manifold structure on [0, 1], and register only the manifold structure.