diff src/gui_gtk_x11.c @ 11661:e2df50e0f6c9

Added tag v8.0.0712 for changeset 16dab1cd56f2e3ed067ebb87fcc3dd80f968625f
author Christian Brabandt <cb@256bit.org>
date Sat, 15 Jul 2017 14:15:04 +0200
parents 621e41f6dcc2
children 5a5709918a98
line wrap: on
line diff