comparison: src/gtkprefs.h
src/gtkprefs.h
- changeset 12286
- 08d994091c36
- parent 10367
- 7bd4802cff7d
- child 12323
- f52908fb23b0
equal
deleted
inserted
replaced
| 12285:5a0f4619b0c5 | 12286:08d994091c36 |
|---|
| 12285:5a0f4619b0c5 | 12286:08d994091c36 |
|---|