Trying harder to use proper org markup in README
commitcd45c6e93f03db5567b17ae373e0505f8183251b
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 2 Apr 2018 18:30:49 +0000 (2 20:30 +0200)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 2 Apr 2018 18:30:49 +0000 (2 20:30 +0200)
treebb088065a5e00744bc08054932086d21c0ff8bb5
parentf53df56df2491c3d8ea039db3df598587100c8e5
Trying harder to use proper org markup in README

and make github happier in the process (cf. github issue #243)
README