src/gtkprefs.c

changeset 9487
30b821f23d2c
parent 9422
fda18b808f1c
child 9508
c757be6aad9b

mercurial