src/gtkprefs.c

changeset 11938
6d0e6e39d7c1
parent 11922
4757a71af32f
child 11985
d4a210fb43e9

mercurial