diff doc/ui-ops.dox @ 20141:0f90adb5618d

Include real names in system log messags. Fixes #3130
author Sean Egan <seanegan@gmail.com>
date Tue, 18 Sep 2007 00:50:08 +0000
parents 500c785c109d
children e3bf822c19c8
line wrap: on
line diff