comparison: src/gtkprefs.h
src/gtkprefs.h
- changeset 10833
- 62d8c516b51b
- parent 10367
- 7bd4802cff7d
- child 12323
- f52908fb23b0
equal
deleted
inserted
replaced
| 10832:7facd4303838 | 10833:62d8c516b51b |
|---|
| 10832:7facd4303838 | 10833:62d8c516b51b |
|---|