diff gui/app.c @ 25537:c9c099ac7385

removed inclusion of unneeded header (forgotten in previous commit)
author nicodvb
date Tue, 01 Jan 2008 17:03:25 +0000
parents 2dee54f0d8a0
children b0a7b35b78d2
line wrap: on
line diff