diff doc/ui-ops.dox @ 26233:dd55229f634a

Remove an unused field
author Mark Doliner <mark@kingant.net>
date Fri, 27 Mar 2009 09:49:40 +0000
parents e3bf822c19c8
children
line wrap: on
line diff