src/gtkprefs.c

changeset 13919
94caf5dc02b4
parent 13720
051ef816673a
child 13986
9fc43f70e82f

mercurial