src/gtkprefs.c

changeset 9459
72399a7d7e29
parent 9422
fda18b808f1c
child 9508
c757be6aad9b

mercurial