diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-13 16:52:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-13 16:52:42 +0200 |
| commit | f8574da2c2277c11ec168defa345497ec99cef65 (patch) | |
| tree | 1f4700808af5c0e6c5dd0f34dff5fcfaef9cd1a0 /modules/mono | |
| parent | 61ab7fdf4e85417a919eb62b84a6b14c48a00a1a (diff) | |
| parent | 9e1c23a3531fe7f222b841de87784292eea02c6f (diff) | |
Merge pull request #31338 from Calinou/reorganize-menus
Reorganize various menus for consistency and conciseness
Diffstat (limited to 'modules/mono')
0 files changed, 0 insertions, 0 deletions