src/gtkticker.h

changeset 1003
be33487bc33d
parent 430
39105dbbbc21
child 1114
a1e5c60bd23d

mercurial