comparison: src/gtkprefs.h
src/gtkprefs.h
- changeset 8128
- fefbfefcebe4
- parent 8046
- c581b20a47d6
- child 8238
- f7d22f952df5
equal
deleted
inserted
replaced
| 8127:da683b4a5dc0 | 8128:fefbfefcebe4 |
|---|
| 8127:da683b4a5dc0 | 8128:fefbfefcebe4 |
|---|