diff src/gui_gtk_res.xml @ 7911:fd07525103a2

Added tag v7.4.1251 for changeset e873010fb658e9ad8590c212e3b439bc027135a1
author Christian Brabandt <cb@256bit.org>
date Wed, 03 Feb 2016 22:00:06 +0100
parents e2fe7a67b3a4
children
line wrap: on
line diff