comparison: src/gtkprefs.c
src/gtkprefs.c
- changeset 6057
- 9d9131805daa
- parent 6040
- ab00305db747
- child 6070
- cebd40c2b31b
equal
deleted
inserted
replaced
| 6056:7e02a05e0840 | 6057:9d9131805daa |
|---|
| 6056:7e02a05e0840 | 6057:9d9131805daa |
|---|