comparison: src/gtkprefs.h
src/gtkprefs.h
- changeset 10808
- e4b51d846a9d
- parent 10367
- 7bd4802cff7d
- child 12323
- f52908fb23b0
equal
deleted
inserted
replaced
| 10807:c70c4b8d2b27 | 10808:e4b51d846a9d |
|---|
| 10807:c70c4b8d2b27 | 10808:e4b51d846a9d |
|---|