[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Orekit Developers] html entities versus UTF-8

Hi all,

Do you mind if I use a script to convert all the html entities that are
in our code (mainly javadoc and pur comments) to full UTF-8?

I think now all development environment completely support UTF-8 and it
is really much more readable for greek letters and small exponents/indices.

best regards,