3 Commits

Author	SHA1	Message	Date
Laurent Rineau	4c5b5843e3	sed -i -e 's/egrep/grep -E/g'	2022-07-01 16:19:36 +02:00
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
Laurent Rineau	03cc42d44f	New script, to detect non-UTF-8 header files	2014-07-08 13:22:45 +02:00