src/gtkticker.h

changeset 3113
f49f4ab77014
parent 2595
60c1a3673ad2
equal deleted inserted replaced
3112:47f326fda99f 3113:f49f4ab77014

mercurial