diff src/gui_gtk_x11.c @ 822:45fad0f590d0

updated for version 7.0c12
author vimboss
date Fri, 07 Apr 2006 21:33:12 +0000
parents 1f929f3ca806
children 8dd456c1e283
line wrap: on
line diff