[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Orekit Developers] html entities versus UTF-8
- To: Orekit developers <orekit-developers@orekit.org>
- Subject: [Orekit Developers] html entities versus UTF-8
- From: Luc Maisonobe <Luc.Maisonobe@c-s.fr>
- Date: Tue, 18 Nov 2014 16:39:00 +0100
- User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.2.0
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