From 0a953ffa75c4d5e87242451b2d3e7d8671666a19 Mon Sep 17 00:00:00 2001 From: Volker Ruppert Date: Sun, 14 May 2006 09:16:29 +0000 Subject: [PATCH] - updated CVS server name (new SF CVS infrastructure) --- bochs/doc/docbook/development/development.dbk | 20 +++++++++---------- bochs/doc/docbook/user/user.dbk | 8 ++++---- 2 files changed, 14 insertions(+), 14 deletions(-) diff --git a/bochs/doc/docbook/development/development.dbk b/bochs/doc/docbook/development/development.dbk index 8af65615c..5273db625 100644 --- a/bochs/doc/docbook/development/development.dbk +++ b/bochs/doc/docbook/development/development.dbk @@ -1,7 +1,7 @@