diff src/gui_gtk_res.xml @ 12834:5b61a133b547

Added tag v8.0.1293 for changeset db9ffed7e1fc09ee0266beda34a94def6a8c6c06
author Christian Brabandt <cb@256bit.org>
date Sun, 12 Nov 2017 18:15:05 +0100
parents e2fe7a67b3a4
children
line wrap: on
line diff