Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add DafnyOptions.txt, and have the Dafny Visual Studio extension read ↵ | chrishaw | 2015-03-11 |
command-line options from DafnyOptions.txt during initialization. DafnyOptions.txt gets built into the VSIX file and is installed as part of the Dafny Visual Studio extension. |