src/gtkprefs.c

changeset 8302
e23e9c8f05f7
parent 8292
9b25d6300cda
child 8335
b301edee8c5a

mercurial