src/gtkprefs.c

changeset 12242
e7fc1748eb56
parent 12240
194dc3367706
child 12272
4eee92ead973

mercurial