]> git.tue.mpg.de Git - paraslash.git/commit
manual: Replace readline link.
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 8 May 2024 17:56:46 +0000 (19:56 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 8 May 2024 17:59:22 +0000 (19:59 +0200)
commit945339514d6f5ace549635537e4fab4cdbf4c71b
treeb69ebb7fdeb4c8764adf5d7d9af2839ebb6f09c6
parent217149fecdc9053676aaaa929ace79e92135a34d
manual: Replace readline link.

The old URL no longer works (error 504: host unreachable). The new
gnu.org will hopefully stay.

Suggested-by: checklink(1)
web/manual.md