src/gtkprefs.c

changeset 11284
a5a896c37b17
parent 11275
cdcc651d7ecd
child 11287
87bec7c61fed

mercurial