diff src/gui_gtk.c @ 14253:a0586da3a85b

Added tag v8.1.0142 for changeset b557af8dedab4177e9884d01aeaa5c41728e1073
author Christian Brabandt <cb@256bit.org>
date Tue, 03 Jul 2018 17:30:09 +0200
parents 8412df1479a3
children 82e7ce311065
line wrap: on
line diff