Remove non ASCII characters

The most non ASCII characters were used in comments but some were also used for screen output. The most common non ASCII character was µ which was exchanged by mu or micro.

added BugFix Code Styling labels

requested review from @e.clerkin

assigned to @p.-a.loizeau

added 1 commit

• d922a3b0 - Fix license header

Compare with previous version

added 1 commit

• 59a0bb9e - Fix license header

Compare with previous version

Dear @f.uhlig, @p.-a.loizeau, @d.smith, @fweig, @v.singhal, @v.friese, @n.herrmann, @i.deppner, @a.bercuci, @p.kaehler, @a_meye37_AT_uni-muenster.de, @a.andronic, @k.piasecki, @c.muentz, @m.deveaux, @j.stroth, @ma.beyer, @se.gorbunov, @s.zharko,

you have been identified as code owner of at least one file which was changed with this merge request.

Please check the changes and approve them or request changes.

added CodeOwners label

approved this merge request

@p.-a.loizeau I looked through all changes, this MR can be safely merged.

@f.uhlig There is some inconsistencies between having micro and mu which is not perfect, but I don't think we can make it much better.

resolved all threads

added 2 commits

• 8b6daa94 - Remove non ASCII characters
• a2f409ae - Fix license header

Compare with previous version

enabled an automatic merge when all merge checks for a2f409ae pass

merged

mentioned in merge request !2060 (merged)