diff doc/ui-ops.dox @ 32050:b1a6535f99d9

Get rid of a few other dead variables.
author Paul Aurich <paul@darkrain42.org>
date Wed, 11 May 2011 05:04:43 +0000
parents e3bf822c19c8
children
line wrap: on
line diff