src/gtkprefs.c

changeset 11911
797cf405943c
parent 11888
525706b75438
child 11922
4757a71af32f

mercurial