diff options
| author | Max Hilbrunner <mhilbrunner@users.noreply.github.com> | 2018-07-03 17:39:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-03 17:39:17 +0200 |
| commit | 165f3c31a5850b47f46d535e87783dd75db31e16 (patch) | |
| tree | ebd9164e1b79010b04564908c3c0ef87810df2ae /doc/classes | |
| parent | deb005c96656d95c5853d3c7956fca2672892be0 (diff) | |
| parent | bc666c42ffba2497516f361e397b276205a5f9ad (diff) | |
Merge pull request #19166 from Grula/issue-18779
Changed "Syntax Menu" into radio Menu
Diffstat (limited to 'doc/classes')
0 files changed, 0 insertions, 0 deletions