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
..
include/CGAL	change LGPLv2 -> LGPLv3	2011-10-10 13:48:25 +00:00
package_info/Random_numbers	New license.txt files (eol changes)	2013-02-19 16:46:39 +01:00
src/CGAL	Convert source files encoding to utf-8	2014-08-01 11:20:13 +02:00
test/Random_numbers	Convert source files encoding to utf-8	2014-08-01 11:20:13 +02:00
web	…
dont_submit	…