]> git.tue.mpg.de Git - paraslash.git/commit
Remove the documentation of the maint branch.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 1 Dec 2024 16:56:25 +0000 (17:56 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 20 Dec 2024 18:55:27 +0000 (19:55 +0100)
commit04c3b05a706df8bd8bfd7c0ed43d996b5ed5602a
tree312b6846acd3c1bc2ece82691bd75123f2a1ff66
parent775d555254b92055aedb062a372be9ff3421ebac
Remove the documentation of the maint branch.

paraslash-0.6.5 was the last maintenance release. As of today,
the "maint" branch no longer exists in the git repo, so adjust the
documentation at two places: the user manual and the download page.
Streamline the text a bit, while at it.
NEWS.md
web/download.in.html
web/manual.md