diff options
| author | Maxime Dénès | 2017-04-24 14:15:17 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-04-24 14:15:17 +0200 |
| commit | ecff95e24e69a8761f7aa154312fdcc01f99766b (patch) | |
| tree | 79dfdcab3df0a1a645fdaf1a6e3f6d8c7f8b1013 /plugins | |
| parent | 3e50f0a7e356b2fcb1cf22ec95549a7322e4e447 (diff) | |
| parent | e1637bef0f38b46840f146f146ddd4f17bec129a (diff) | |
Merge PR#580: [ide] Fix #5482 "location for query commands" in IDE.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions