Laurent Rineau 36d8b5bd18 Convert source files encoding to utf-8 ... All non-ASCII files should be encoded in UTF-8. So far, the ZSH script `Scripts/developer_scripts/detect_wrong_encoding` detects wrong encoding in source/header files of include/, src/, and doc/.		2014-08-01 11:20:13 +02:00
..
demo	…
doc/Bounding_volumes	restore figure source files removed in 0fa2cacb	2014-02-10 14:54:23 +01:00
examples	s/Gmpq/Exact_rational/	2014-06-27 15:11:45 +02:00
include/CGAL	explain that the warning of g++-4.8 is harmless	2014-07-03 16:13:42 +02:00
package_info/Bounding_volumes	New license.txt files (eol changes)	2013-02-19 16:46:39 +01:00
test/Bounding_volumes	Convert source files encoding to utf-8	2014-08-01 11:20:13 +02:00
test_extensive	…
web	…
dont_submit	Put doc/ in the global dont_submit file	2013-08-20 10:57:03 +02:00