src/gtkprefs.c

changeset 8601
d34f5d043246
parent 8600
bb958d9f9c33
child 8602
f221eadb326c

mercurial