diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-06-15 00:08:44 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-15 00:08:44 +0200 |
commit | dc6642bc13a511a93e358bb25391131bd7e19e45 (patch) | |
tree | d2a58e18dc1dcefb2f30fab7fd8359edcc382a70 /COPYRIGHT.txt | |
parent | 2b62872547f11debfe45a4eb697b36ef05fbf2eb (diff) | |
parent | b76275ab12b8d12dd6458d951d2e4f37572df1a8 (diff) |
Merge pull request #9102 from Faless/debugger_listen_show_error
Editor now shows error when debug port is in use
Diffstat (limited to 'COPYRIGHT.txt')
0 files changed, 0 insertions, 0 deletions