Re: [Orekit Developers] html entities versus UTF-8

[Hank Grabowski <hank@applieddefense.com>]

Sounds good to me

Sent from my Android phone

On Nov 18, 2014 10:39 AM, "Luc Maisonobe" <Luc.Maisonobe@c-s.fr> wrote:

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,
Luc