Sébastien Loriot b2f65226fd remove unused file		2017-11-16 17:19:24 +01:00
..
deb	update Debian packaging information for 4.1-1	2012-10-24 21:01:58 +00:00
infrastructure	Merge pull request #2385 from janetournois/Maintenance-update_platforms-GF	2017-09-25 16:49:16 +02:00
package_info/Maintenance	Fix the detection of packages directories	2017-04-13 15:14:53 +02:00
public_release	Add SHA512, to compare with hashes from Fedora	2017-09-22 10:37:07 +02:00
release_building	Prepare CGAL-4.11	2017-09-20 10:20:56 +02:00
test_handling	Optimize the script (from 20 minutes to 0.3 seconds!)	2017-04-28 10:40:29 +02:00