src/gtkprefs.c

changeset 8250
e855dcce1fa0
parent 8238
f7d22f952df5
child 8267
53bdf5396546

mercurial