src/gtkprefs.c

changeset 6263
6fec763a314c
parent 6216
38918d33547e
child 6371
e92b66ee5518

mercurial