src/gtkprefs.c

changeset 5701
4b941cc008c5
parent 5684
10b916deb20c
child 5716
efb909926936

mercurial