Laurent Rineau 367314623d Add a script to detect wrong permissions, and fix permissions ... The script uses zsh, and lists regular files that have the 'executable' permission. At the same time, I fix the permissions of several files.		2014-02-06 18:49:09 +01:00
..
doc/Number_types	Merge branch 'Number_types-mpzf-glisse'	2013-11-15 16:38:16 +01:00
include/CGAL	Add a script to detect wrong permissions, and fix permissions	2014-02-06 18:49:09 +01:00
package_info/Number_types	New license.txt files (eol changes)	2013-02-19 16:46:39 +01:00
src/CGAL	Move MP_Float.cpp to a header MP_Float_impl.h	2011-10-11 10:59:30 +00:00
test/Number_types	Merge branch 'Number_types-mpzf-glisse'	2013-11-15 16:38:16 +01:00
KNOWN_PROBLEMS_WITH_FLOATING_POINT	Test commit.	2008-12-08 09:27:47 +00:00
dont_submit	Put doc/ in the global dont_submit file	2013-08-20 10:57:03 +02:00