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 /logo.png | |
| 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 'logo.png')
0 files changed, 0 insertions, 0 deletions