src/gtkprefs.c

changeset 11358
531a16c883c0
parent 11287
87bec7c61fed
child 11380
35d35c535781

mercurial