Guillaume Damiand ee44826289 Update size of GMap logo to have the correct 120x120 pixels size.		2018-04-04 13:12:35 +02:00
..
doc/Generalized_map	Update size of GMap logo to have the correct 120x120 pixels size.	2018-04-04 13:12:35 +02:00
examples/Generalized_map	Update project names	2017-01-19 11:10:03 +01:00
include/CGAL	Merge pull request #2594 from gdamiand/CMap-bugfixes-gdamiand	2017-12-05 18:20:56 +01:00
package_info/Generalized_map	Commit all new dependencies files	2018-03-06 18:44:48 +01:00
test/Generalized_map	Initialize dart info, when non void; otherwise isomorphism is sometimes false (on some 32 bits os in release mode).	2018-01-20 18:10:22 +01:00