diff options
| author |  MichalMoskal <unknown> | 2010-12-02 01:41:41 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-12-02 01:41:41 +0000 |
| commit | 43cdc44acb2f535b44f0d99f65048237488a2528 (patch) | |
| tree | 298bd8fce9ffe672b9589bf26e2ad6861f535d75 /.gitignore | |
| parent | f68222f533a6568bf279018c33b0a5656075b0d3 (diff) | |
Ignore more generated files.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -39,7 +39,7 @@ Binaries/AbsInt.dll Binaries/AbsInt.pdb
Binaries/Basetypes.dll
Binaries/Basetypes.pdb
-Binaries/Boogie.exe
+Binaries/Boogie.exe*
Binaries/Boogie.pdb
Binaries/Core.dll
Binaries/Core.pdb
@@ -60,14 +60,15 @@ Binaries/VCExpr.dll Binaries/VCExpr.pdb
Binaries/VCGeneration.dll
Binaries/VCGeneration.pdb
-Binaries/Boogie.vshost.exe*
Binaries/CodeContractsExtender.dll
Binaries/CodeContractsExtender.pdb
-Binaries/Dafny.exe
+Binaries/Dafny.exe*
Binaries/Dafny.pdb
-Binaries/Dafny.vshost.exe
+Binaries/*.vshost.exe*
Binaries/DafnyPipeline.dll
Binaries/DafnyPipeline.pdb
+Binaries/ModelViewer.exe*
+Binaries/ModelViewer.pdb
Test/*/Output
Test/*/*.sx
Test/VSComp2010/out.cs
|