diff options
author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2017-05-08 22:22:28 +0200 |
---|---|---|
committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2017-05-09 15:05:45 +0200 |
commit | 98eb58a93cb34f42e42e6ee4f9f74fc15d4e9d85 (patch) | |
tree | a7d9477d840b7b11ee35ed29754688d6d12ef86a /core/sort.h | |
parent | a1c41be56977e22e953191dd9e90621d09f294cc (diff) |
Allow selecting editor debug host and port.
Possibly fixes various editor<->debugger connection related problems.
Diffstat (limited to 'core/sort.h')
0 files changed, 0 insertions, 0 deletions