comparison: src/gtkprefs.h
src/gtkprefs.h
- changeset 6115
- ac81410298f2
- parent 5530
- ba1ad464b56f
- child 7931
- 315fd3921a40
equal
deleted
inserted
replaced
| 6114:ba8b05cce5a3 | 6115:ac81410298f2 |
|---|
| 6114:ba8b05cce5a3 | 6115:ac81410298f2 |
|---|