diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-08-11 10:42:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-11 10:42:29 +0200 |
| commit | 066fb4d5f9417afffac27a0eb8690f1301cad382 (patch) | |
| tree | 832ffbbdcf7a520ea13be3aa43c1ab312a46b5e9 /servers/visual | |
| parent | bed66afee4b495e0eaaabdf481c91e75b096f27d (diff) | |
| parent | 9d593481f6e66515e93c659c2e9fd1fb05962859 (diff) | |
Merge pull request #10238 from Hinsbart/resource_rmb
Inspector: Right click on resource opens sub-menu.
Diffstat (limited to 'servers/visual')
0 files changed, 0 insertions, 0 deletions