diff Gui/interface.h @ 22057:64d71c9d25d9

Document -noidx.
author diego
date Tue, 30 Jan 2007 13:49:07 +0000
parents b806ccbc6398
children a7e5b99ac083
line wrap: on
line diff