Add a missing anchor
authorFabian Keil <fk@fabiankeil.de>
Fri, 21 Feb 2020 15:32:35 +0000 (16:32 +0100)
committerFabian Keil <fk@fabiankeil.de>
Sat, 22 Feb 2020 13:42:53 +0000 (14:42 +0100)
commit805251d14df3900b8e818b7ec963b50c08035456
tree44aa29ad733aabf4831a629b853ad0e2b2c5ba23
parent1469fb540a6dc8e4df8974054735d82ea025a6a5
Add a missing anchor
doc/source/user-manual.sgml