diff src/gui_gtk_x11.c @ 1356:c87f38b71d27 v7.1.070

updated for version 7.1-070
author vimboss
date Tue, 14 Aug 2007 14:57:55 +0000
parents 86079b930b3e
children 99a9e42e5688
line wrap: on
line diff