log src/gui-gtk.c @ 5916:1152e0091f8c

age author description
Sun, 09 Oct 2011 09:51:57 +0100 Aidan Kehoe Mechanically change INT to FIXNUM in our sources.