diff src/gui_gtk_res.xml @ 35131:d95c42df4444 default tip

Added tag v9.1.0395 for changeset 732accc824dc0266c8b09f9b3e4accee68f1ed17
author Christian Brabandt <cb@256bit.org>
date Wed, 08 May 2024 20:00:04 +0200
parents e2fe7a67b3a4
children
line wrap: on
line diff