src/gtkprefs.c

changeset 9476
9e67e150526d
parent 9422
fda18b808f1c
child 9508
c757be6aad9b

mercurial