diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-11-20 09:04:57 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-20 09:04:57 +0100 |
commit | cab1a67fc33a9bd4686b7a66ff3f63e990f22969 (patch) | |
tree | db82f0762990a1b2bd67962172d8a5abe9990558 /servers/visual_server.cpp | |
parent | 49a73182d322f258b0fab76077a41b3f68a62bb1 (diff) | |
parent | 66f6a8b4b521395b17f757e64a4341f33df674fe (diff) |
Merge pull request #13075 from sersoong/master-test3
[3.0] - Add close other tabs to Script Editor
Diffstat (limited to 'servers/visual_server.cpp')
0 files changed, 0 insertions, 0 deletions