diff options
| author |  chrishaw <unknown> | 2015-03-11 16:36:04 -0700 |
|---|---|---|
| committer | chrishaw <unknown> | 2015-03-11 16:36:04 -0700 |
| commit | b7c29f98817a2efe26b8a120802250c5bc4f26e3 (patch) | |
| tree | c27c99200f346e787599c718fe1b51944230c2ad /Source/Dafny/Cloner.cs | |
| parent | 43b34f8dbbfa2bdc1c0e0f09f8670e2d1c3051fb (diff) | |
Add DafnyOptions.txt, and have the Dafny Visual Studio extension read 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.
Diffstat (limited to 'Source/Dafny/Cloner.cs')
0 files changed, 0 insertions, 0 deletions