src/gtkprefs.c

changeset 10740
a1cb6b819a21
parent 10701
49e34e971b87
child 10759
c6600b133594

mercurial