comparison: src/gtkprefs.h
src/gtkprefs.h
- changeset 10276
- 788b6d6aaafc
- parent 10207
- e6578b73e8bb
- child 10367
- 7bd4802cff7d
equal
deleted
inserted
replaced
| 10275:186d84a66cc3 | 10276:788b6d6aaafc |
|---|
| 10275:186d84a66cc3 | 10276:788b6d6aaafc |
|---|