Update the user-manual URL
authorFabian Keil <fk@fabiankeil.de>
Wed, 9 Dec 2020 14:27:36 +0000 (15:27 +0100)
committerFabian Keil <fk@fabiankeil.de>
Wed, 9 Dec 2020 14:56:59 +0000 (15:56 +0100)
commitb0dd2d7640082fd7f28a32a357fd31255aa3a08d
tree300c287faa77a2bb1adba804514241c3d89fae26
parent9063fee3ae0d33840ed2facb2425fad650a93065
Update the user-manual URL
doc/source/developer-manual.sgml