tree bfbc047efb07ee127ca1d479a3507356ab283a09
parent e8847537f5d6c3ca30113d0cfdfab4de46cc1bf0
author david_williams <david_williams> 1156736198 +0000
committer david_williams <david_williams> 1156736198 +0000

[155353] server.generic.ui version made smaller!