diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-05-27 11:25:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-27 11:25:09 +0200 |
| commit | 2b25147450f5ae14a5b08fa7e70c8b7aa8f63742 (patch) | |
| tree | 2c653e1b1e473257b25817e3d36f59fc8f072d5c /core | |
| parent | f89641907f8b45941f5e67891936ee8050a3ef92 (diff) | |
| parent | 7661cb5a624a93d45f9986e4677cac7d29057917 (diff) | |
Merge pull request #8928 from nunodonato/helpmenu
Added an help menu
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions