Files
cgal/Scripts/developer_scripts
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
..
2010-05-06 08:09:11 +00:00
2008-10-14 13:46:34 +00:00
2012-05-24 12:36:17 +00:00
2007-04-03 14:55:12 +00:00
2012-11-01 08:36:19 +00:00
2012-12-03 18:44:24 +01:00
2014-02-18 15:56:00 +01:00
2014-02-24 18:37:43 +01:00
2014-05-22 15:10:00 +02:00
2011-10-10 13:48:25 +00:00
2012-12-03 18:44:24 +01:00
2013-02-19 16:45:00 +01:00
2011-03-03 15:45:55 +00:00