diff src/gui_gtk_x11.c @ 8561:141c20e48d33

Added tag v7.4.1570 for changeset f3c636c673f7de95a86532ee9f8e40d80dc8ac9a
author Christian Brabandt <cb@256bit.org>
date Tue, 15 Mar 2016 15:15:04 +0100
parents 9f5bd031530d
children 1b38596644ba
line wrap: on
line diff