[m-dev.] Renaming the NEWS file -> NEWS.md
Julien Fischer
jfischer at opturion.com
Tue Feb 20 21:15:20 AEDT 2018
Hi,
Since the Mercury repostitory is currently hosted on github, I have been
considering renaming the NEWS file -> NEWS.md and tweaking the
markdown** so that it is github flavoured. Doing this means that when
browsing the repository on github that the NEWS file would be nicely
formatted.
Are there any objections to doing this?
Julien.
(** theoretically the NEWS file should already be markdown, but
what some parts of it are in practice is anybody's guess.)
More information about the developers
mailing list