comparison: src/gtkticker.h
src/gtkticker.h
- changeset 599
- f786b9daaa9b
- parent 430
- 39105dbbbc21
- child 1114
- a1e5c60bd23d
equal
deleted
inserted
replaced
| 598:9e3a18d1083f | 599:f786b9daaa9b |
|---|
| 598:9e3a18d1083f | 599:f786b9daaa9b |
|---|