src/gtkprefs.c

changeset 9771
42bd06e5b1b3
parent 9769
90a3f960b0c7
child 9791
f5c5bda0b96b

mercurial