comparison: src/gtkprefs.c
src/gtkprefs.c
- changeset 13400
- a23782f450d2
- parent 13328
- 65543dcbaa89
- child 13664
- fdc3b588f248
equal
deleted
inserted
replaced
| 13399:e877a5672fe8 | 13400:a23782f450d2 |
|---|
| 13399:e877a5672fe8 | 13400:a23782f450d2 |
|---|