Jane 7b2cc88f5e Update after new script		2018-10-15 11:26:44 +01:00
..
deb	use https for all links to www.cgal.org and doc.cgal.org	2018-03-14 15:59:38 +01:00
infrastructure	Update after new script	2018-10-15 11:26:44 +01:00
package_info/Maintenance	Fix the detection of packages directories	2017-04-13 15:14:53 +02:00
public_release	New release in this branch will be 4.13.1	2018-10-01 15:04:36 +02:00
release_building	`master` now targets CGAL-4.14	2018-10-01 15:11:49 +02:00
test_handling	Optimize the script (from 20 minutes to 0.3 seconds!)	2017-04-28 10:40:29 +02:00