comparison: src/gtkprefs.h
src/gtkprefs.h
- changeset 12116
- 17bf39d2678f
- parent 10367
- 7bd4802cff7d
- child 12323
- f52908fb23b0
equal
deleted
inserted
replaced
| 12115:018095bd9f68 | 12116:17bf39d2678f |
|---|
| 12115:018095bd9f68 | 12116:17bf39d2678f |
|---|