src/gtkprefs.c

changeset 12849
052f51304ed2
parent 12845
ac6e4ffb7dc6
child 12857
2e99b4a360fc

mercurial