src/gtkticker.h

changeset 1056
40edf4cb6233
parent 430
39105dbbbc21
child 1114
a1e5c60bd23d

mercurial