summaryrefslogtreecommitdiff
path: root/biblio
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-11-04 10:51:28 +0100
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-11-04 10:51:28 +0100
commitf670d1e58ff94fd724c41ff34871b57f6ac95cc0 (patch)
treefd9d675fdf3933b7cee2344679ab38be59af26cd /biblio
parentf6a78c1b7ea70b71fdb96f2fc17c44700e4b980a (diff)
Use Point_3 instead of Bare_point_3 in non-weighted cases
Diffstat (limited to 'biblio')
0 files changed, 0 insertions, 0 deletions