src/gtkprefs.c

changeset 8439
4960eeede00d
parent 8356
0bc6befd956d
child 8458
c9f4c15dc278

mercurial