src/gtkticker.h

changeset 1479
e7ec4ce61f5b
parent 1114
a1e5c60bd23d
child 2387
c64823ce9e10

mercurial