comparison: ui/gtk/menu.c
ui/gtk/menu.c
- changeset 1091
- 1524b5dc4d4d
- parent 1039
- 6691e007cef7
- child 1092
- 0accf125a65f
equal
deleted
inserted
replaced
| 1090:ab2e458df182 | 1091:1524b5dc4d4d |
|---|
| 1090:ab2e458df182 | 1091:1524b5dc4d4d |
|---|