diff --git a/bochs/doc/docbook/misc.txt b/bochs/doc/docbook/misc.txt index 5368165c2..fa29fdc22 100644 --- a/bochs/doc/docbook/misc.txt +++ b/bochs/doc/docbook/misc.txt @@ -1,4 +1,6 @@ -$Id: misc.txt,v 1.9 2001-11-17 17:16:35 bdenney Exp $ +$Id: misc.txt,v 1.10 2002-11-02 16:45:00 bdenney Exp $ + +Testing testing.... This is a temporary place to paste in stuff that should go into the docs one day. When it is transferred into docbook, let's remove it from misc.txt.