src/gtkprefs.c

changeset 9537
4d6f47f2a989
parent 9521
9c611a48614b
child 9596
5f5575b051e6

mercurial