Remove a reference to CVS, we use Git now
authorFabian Keil <fk@fabiankeil.de>
Fri, 6 Mar 2020 12:30:36 +0000 (13:30 +0100)
committerFabian Keil <fk@fabiankeil.de>
Thu, 12 Mar 2020 10:07:21 +0000 (11:07 +0100)
commit6557c40b8869eb901691a44afd7eaff23f116617
tree2262b9af09b6f21bec1a9f3e08b20b54115ea099
parenta920dc65aeaf11d8405b49c840d7fcf33db31f94
Remove a reference to CVS, we use Git now
doc/source/developer-manual.sgml