diff src/gui_gtk_res.xml @ 13677:4efb4683ea71

Added tag v8.0.1710 for changeset 6b49b6ea9e43610292386a41f12e62bee8d5bbc3
author Christian Brabandt <cb@256bit.org>
date Sat, 14 Apr 2018 16:15:07 +0200
parents e2fe7a67b3a4
children
line wrap: on
line diff