Commit Graph

2 Commits

Author SHA1 Message Date
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Michael Raskin
56dabf8cf2 cgal: 4.14 -> 4.14.2, add (incompatible) cgal_5 2019-12-07 12:04:39 +01:00