diff src/gui_gtk_x11.c @ 1542:12f9cd68b9c3 v7.1.257

updated for version 7.1-257
author vimboss
date Wed, 20 Feb 2008 11:44:03 +0000
parents 58a14bafc1f0
children 18ee39301b82
line wrap: on
line diff