diff Copyright @ 33564:7dd27b046712

Fix compilation of w32 gui.
author reimar
date Sun, 19 Jun 2011 12:05:32 +0000
parents 85f0d7406e07
children c1a590bb2441
line wrap: on
line diff