src/gtkprefs.c

changeset 12111
a939a3c185f9
parent 12067
11fb53722956
child 12116
17bf39d2678f

mercurial