diff src/gui_gtk_x11.c @ 12268:70e04b97b0f3

Added tag v8.0.1013 for changeset e3bde71afff0e3693fb93b1c2d0a93ad9ee1225a
author Christian Brabandt <cb@256bit.org>
date Tue, 29 Aug 2017 23:00:04 +0200
parents ac8b2f9c1409
children 2a8890b80923
line wrap: on
line diff