src/gtkprefs.c

changeset 8654
91d33a83fb05
parent 8633
fdbdbbb2eed3
child 8705
98683838e7c7

mercurial