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

Published 20 hours ago • verified publisher icon overturetool

Improve VDMTools integration options

Open FrederikPM opened this issue 2 years ago • 0 comments

Add a Find File link. Make it clear which binary should be linked - eg. /usr/local/bin/vdmtools-sl/bin/vdmgde

FrederikPM avatar May 04 '22 09:05 FrederikPM