src/gtkprefs.c

changeset 12532
11866c147d98
parent 12472
1a11e00f8c88
child 12553
52b3403a1690

mercurial