src/gtkprefs.h

changeset 8901
0a8334a14c2d
parent 8900
14f4b7ae958e
child 8905
cedfa637389f

mercurial