diff gui/wm/ws.h @ 27816:e05a9299b946

We now require GNU make 3.81.
author diego
date Wed, 29 Oct 2008 22:42:34 +0000
parents d58d06eafe83
children 9e739bdb049c
line wrap: on
line diff