comparison: src/gtkprefs.c
src/gtkprefs.c
- changeset 7634
- d4b18edb51ec
- parent 7562
- 7cbd89f3cef1
- child 7731
- 7c3bb30a94c4
equal
deleted
inserted
replaced
| 7633:653fd7bd7e20 | 7634:d4b18edb51ec |
|---|
| 7633:653fd7bd7e20 | 7634:d4b18edb51ec |
|---|