]> https://gitweb.dealii.org/ - dealii.git/commit
Add script that checks the encoding of all the files
authorDaniel Garcia-Sanchez <daniel.garcia-sanchez@insp.upmc.fr>
Sat, 2 Feb 2019 10:29:09 +0000 (11:29 +0100)
committerDaniel Garcia-Sanchez <daniel.garcia-sanchez@insp.upmc.fr>
Thu, 2 May 2019 09:12:13 +0000 (11:12 +0200)
commita7f75f98196d29b750d0a581dd43185c79ce7579
treefb016c4695c983cf2e8820287ff0c1ddbc549d84
parent5a0dccea3b2a69af926fa8f751b5e18682b643dc
Add script that checks the encoding of all the files

The script check_encoding.py raises an expection if it finds a file
that is not encoded with UTF8.
contrib/utilities/check_encoding.py [new file with mode: 0755]

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.