src/gtkprefs.c

changeset 6814
8520a41fd75d
parent 6799
1c4e1b5fbaea
child 6861
4210d7406062
equal deleted inserted replaced
6813:b142be8fc938 6814:8520a41fd75d

mercurial