diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-11-29 16:35:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-29 16:35:15 +0100 |
| commit | 0167bfa530bb4c19ff237d2f12927c60ac452ad7 (patch) | |
| tree | a5b5f15dcea073058617489f7fd072ec2174d628 /servers | |
| parent | 79d569edd44708645611c124182bd2766d005b2f (diff) | |
| parent | 12ded391f5fd720fff0c30d41d72600a29cb7937 (diff) | |
Merge pull request #43958 from EricEzaM/PR/basebutton-add-property-and-doco
Exposed shortcut_context property to scripting and added documentation.
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions