blob: e19fe525a605c9d5fb00902c33d70d37ff900878 (
plain)
1
2
3
|
// DafnyLanguageService.vsix copies this file to the Dafny Visual Studio Extension directory
// Each line contains one command-line argument to the Dafny Visual Studio Extension
// Blank lines and lines beginning with "//" are ignored
|