Switch from grutatxt to markdown.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 4 Jun 2016 14:36:14 +0000 (16:36 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 24 Jun 2016 10:55:33 +0000 (12:55 +0200)
commit5fa12abdb75ead7fa6995d38047e10a579df250e
tree85ffbb7c2f779133e49f1888f727d435bffbf5e8
parentb6858a167ec80f23a07115fb3c8389a401861822
Switch from grutatxt to markdown.

The grutatxt project is dead, so we need to switch to something else
eventually. Fortunately, it is very easy to convert the two files in
the tree from grutatxt to markdown format: only the three links need
to be adjusted.
INSTALL
Makefile