mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
Used iconv -f iso-8859-1 -t utf-8 to convert some ISO-8859 files into UTF-8. Reason: Debian's linter complains about non-utf8 encoding in installed documentation files. Note: file 'examples/bts/95_char_encoding_latin1.mlw' still contains iso-8859 encoding, but it is on purpose for testing. Debian does not complain about that file, anyway.