diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-10-30 17:29:39 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-10-30 17:29:39 -0700 |
| commit | 1e6ca606af4e9c952367e862c2b4dcb68ba4643d (patch) | |
| tree | 6fd7800dd4e2e949c2edfe460fb97133be68fd71 /Source/DafnyDriver/DafnyDriver.cs | |
| parent | c3facb25dd5e290993a91a896a3b5606d0f4b795 (diff) | |
Include BVD in build (to copy it into the Dafny\Binaries directory)
Batch file for producing a binary distributions
Diffstat (limited to 'Source/DafnyDriver/DafnyDriver.cs')
0 files changed, 0 insertions, 0 deletions