Laurent Rineau ec8200dc1f Fix include path of Boost ... GMP is found in /usr/local/include, and -I/usr/local/include was before -I<Boost_include_dir>.		2014-02-21 16:06:11 +01:00
..
deb	update Debian packaging information for 4.1-1	2012-10-24 21:01:58 +00:00
infrastructure	Fix include path of Boost	2014-02-21 16:06:11 +01:00
package_info/Maintenance	remove executable property from copyright files	2011-10-03 08:18:16 +00:00
public_release	Proposal for announcement of CGAL-4.4-beta1	2014-02-04 18:04:05 +01:00
release_building	Bump master to CGAL-4.4, at last	2013-10-17 19:30:21 +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	remove link of doc_tex doc that is no longer generated	2013-12-04 09:36:42 +01:00
dont_submit	…