comparison: src/gtkprefs.c
src/gtkprefs.c
- changeset 7749
- afe790299bd7
- parent 7731
- 7c3bb30a94c4
- child 7797
- 9bdc74669c80
equal
deleted
inserted
replaced
| 7748:b7b0940aa0e3 | 7749:afe790299bd7 |
|---|
| 7748:b7b0940aa0e3 | 7749:afe790299bd7 |
|---|