diff options
| author |  MichalMoskal <unknown> | 2010-12-08 01:30:30 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-12-08 01:30:30 +0000 |
| commit | 69e722f4a1ad72777430d5e08de70545051ce46d (patch) | |
| tree | 83485d925fe703a73703460cef1781c4a23b42f1 /.gitignore | |
| parent | 638d1d5813cee07f789ed9afaed67e6a39a202ca (diff) | |
Rename BVD binary to (suprise!) BVD
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -67,8 +67,8 @@ Binaries/Dafny.pdb Binaries/*.vshost.exe*
Binaries/DafnyPipeline.dll
Binaries/DafnyPipeline.pdb
-Binaries/ModelViewer.exe*
-Binaries/ModelViewer.pdb
+Binaries/BVD.exe*
+Binaries/BVD.pdb
Binaries/ParserHelper.dll
Binaries/ParserHelper.pdb
Test/*/Output
|