src/gtkticker.h

changeset 3781
115b7a43d265
parent 2595
60c1a3673ad2

mercurial