diff doc/ui-ops.dox @ 20187:8c32a904ed1f

applied changes from 8a731bbd0197fbcc91a705c2d8f528154216defa through 0411be512ef271d73fb2f800df237b0953a983a1
author Richard Laager <rlaager@wiktel.com>
date Fri, 28 Sep 2007 14:52:51 +0000
parents 500c785c109d
children e3bf822c19c8
line wrap: on
line diff