From c5d903f041637f593ba9b4b848e5f51b816449ab Mon Sep 17 00:00:00 2001 From: Bryce Denney Date: Sat, 6 Oct 2001 04:29:09 +0000 Subject: [PATCH] - remove comment about nogui option --- bochs/doc/docbook/user/user.dbk | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/bochs/doc/docbook/user/user.dbk b/bochs/doc/docbook/user/user.dbk index 9990652bc..2ca550226 100644 --- a/bochs/doc/docbook/user/user.dbk +++ b/bochs/doc/docbook/user/user.dbk @@ -1,7 +1,7 @@