comparison: src/gtkprefs.h
src/gtkprefs.h
- changeset 10629
- f79103694c1a
- parent 10367
- 7bd4802cff7d
- child 12323
- f52908fb23b0
equal
deleted
inserted
replaced
| 10628:170949b0903d | 10629:f79103694c1a |
|---|
| 10628:170949b0903d | 10629:f79103694c1a |
|---|