From 869a8de291688e072f0dbf6835386fcdf5698566 Mon Sep 17 00:00:00 2001 From: Fabian Keil Date: Thu, 25 Oct 2018 15:21:33 +0200 Subject: [PATCH] Refer to the git sources instead of CVS --- doc/source/user-manual.sgml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/source/user-manual.sgml b/doc/source/user-manual.sgml index 8008218c..b6f663ea 100644 --- a/doc/source/user-manual.sgml +++ b/doc/source/user-manual.sgml @@ -121,7 +121,8 @@ Hal. Since this is a &p-status; version, not all new features are well tested. This documentation may be slightly out of sync as a result (especially with - CVS sources). And there may be bugs, though hopefully + git sources). + And there may be bugs, though hopefully not many! ]]> -- 2.39.2