src/gtkprefs.c

changeset 5885
223ac977eed2
parent 5872
754c63f29b77
child 5949
bb7cbf02dda9

mercurial