comparison: src/gtkpluginpref.c
src/gtkpluginpref.c
- changeset 12860
- 06b7fc0ded57
- parent 12794
- e4f178fc08b5
- child 13107
- 704041197f4d
equal
deleted
inserted
replaced
| 12859:f2bba45c8dfd | 12860:06b7fc0ded57 |
|---|
| 12859:f2bba45c8dfd | 12860:06b7fc0ded57 |
|---|