Skip to content

terminal: prompt to kill remote if process exited#1621

Merged
derekparker merged 1 commit intogo-delve:masterfrom briandealwis:i1617Jul 17, 2019

Commits

Commits on Jul 17, 2019