vscode-idris icon indicating copy to clipboard operation
vscode-idris copied to clipboard

Published 20 hours ago • verified publisher icon zjhmale

Give quoted path to fix cd failure on startup

Open Rekihyt opened this issue 3 years ago • 1 comments

Rekihyt avatar Jun 25 '21 18:06 Rekihyt

cool! thx so much

zjhmale avatar Jun 28 '21 04:06 zjhmale