cgal/Maintenance
Laurent Rineau 7e651b6b78 Merge branch 'releases/CGAL-4.10-branch'
Merges two pull-requests:

- 9384ff4 Merge pull request #2133 from maxGimeno/Fix_cmake_warning_CMP0053-GF
- 0005d61 Merge pull request #2132 from sloriot/Kernel-use_CGAL_compare
2017-05-24 17:45:58 +02:00
..
deb update Debian packaging information for 4.1-1 2012-10-24 21:01:58 +00:00
infrastructure updated crontab (automated commit) 2017-05-23 17:18:04 +02:00
package_info/Maintenance Fix the detection of packages directories 2017-04-13 15:14:53 +02:00
public_release Prepare CGAL-4.10 2017-05-23 16:18:15 +02:00
release_building Prepare CGAL-4.10 2017-05-23 16:18:15 +02:00
svn_server/hooks/Mail/Sender/CType Add a script to detect wrong permissions, and fix permissions 2014-02-06 18:49:09 +01:00
test_handling Optimize the script (from 20 minutes to 0.3 seconds!) 2017-04-28 10:40:29 +02:00