diff gui/wm/ws.h @ 35138:f5f583024549

Save poor users from my configure hack (r35227).
author cehoyos
date Sat, 06 Oct 2012 04:48:58 +0000
parents b03481253518
children c8478a499a17
line wrap: on
line diff