src/gtkprefs.c

changeset 11371
363713bfd3d1
parent 11287
87bec7c61fed
child 11380
35d35c535781

mercurial