diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-05-25 08:39:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-25 08:39:19 +0200 |
| commit | cda7ced681fb39d94e2403e49f4d385dd9ff0b3e (patch) | |
| tree | a314c2ce19df183a36e3d96e57dea4ccc94b1088 /version.py | |
| parent | aa6e3af49727687a5efb20e610b91aa745fc02fb (diff) | |
| parent | 78781355acd77e37885f6c1da5402b17959795af (diff) | |
Merge pull request #8891 from nunodonato/newmenu
Join text menus on the top-left, move shortcut buttons to new locations (Preliminary work towards achieving the changes discussed in #8865.)
Diffstat (limited to 'version.py')
0 files changed, 0 insertions, 0 deletions