src/gtkprefs.c

changeset 8413
92b9a04b2fd6
parent 8356
0bc6befd956d
child 8458
c9f4c15dc278

mercurial