comparison: src/gtkprefs.c
src/gtkprefs.c
- changeset 12304
- e849bc5e8d5d
- parent 12281
- e5fe6c35c179
- child 12412
- 8abe3226695e
equal
deleted
inserted
replaced
| 12303:f2b594862195 | 12304:e849bc5e8d5d |
|---|
| 12303:f2b594862195 | 12304:e849bc5e8d5d |
|---|