diff src/gui_gtk_x11.c @ 1698:f4f8014d516e v7.2c.000

updated for version 7.2c-000
author vimboss
date Wed, 06 Aug 2008 17:06:04 +0000
parents e1d77e652cb7
children f10fe14748e2
line wrap: on
line diff