src/gtkprefs.c

changeset 8157
3d0fa227ab3c
parent 8152
f26c9406b4b3
child 8162
afac74019306

mercurial