diff src/gui_gtk_x11.c @ 1738:1ddec6983d9e v7.2.036

updated for version 7.2-036
author vimboss
date Wed, 12 Nov 2008 12:36:30 +0000
parents e1d77e652cb7
children f10fe14748e2
line wrap: on
line diff