diff src/gui_gtk_x11.c @ 7719:fa9ea3fbf917

Added tag v7.4.1157 for changeset 6ebd8bdf41bc412518a7bc534a5ad5edb1d8a20b
author Christian Brabandt <cb@256bit.org>
date Sat, 23 Jan 2016 22:00:05 +0100
parents c80284cfe1b8
children 81794242a275
line wrap: on
line diff