Stanislav Shwartsman 25fa76b8e0 update configure options in docs		2010-01-02 11:27:54 +00:00
..
docbook	update configure options in docs	2010-01-02 11:27:54 +00:00
man	move ignore-bad-msrs to runtime option in ,bochsrc	2009-11-13 15:55:46 +00:00