comparison: src/gtkticker.h
src/gtkticker.h
- changeset 2131
- ef072ae1b2b8
- parent 1114
- a1e5c60bd23d
- child 2387
- c64823ce9e10
equal
deleted
inserted
replaced
| 2130:bda8eb781932 | 2131:ef072ae1b2b8 |
|---|
| 2130:bda8eb781932 | 2131:ef072ae1b2b8 |
|---|