src/gtkthemes.h

changeset 13071
b98e72d4089a
parent 12497
a17568773be3
equal deleted inserted replaced
13070:69621ddf7b6a 13071:b98e72d4089a

mercurial