comparison: src/gtkprefs.c
src/gtkprefs.c
- changeset 12846
- 93ff2d8dd1e7
- parent 12845
- ac6e4ffb7dc6
- child 12857
- 2e99b4a360fc
equal
deleted
inserted
replaced
| 12845:ac6e4ffb7dc6 | 12846:93ff2d8dd1e7 |
|---|
| 12845:ac6e4ffb7dc6 | 12846:93ff2d8dd1e7 |
|---|