src/gtkticker.h

changeset 991
2f415c128b8e
parent 430
39105dbbbc21
child 1114
a1e5c60bd23d

mercurial