diff options
| author |  MichalMoskal <unknown> | 2010-12-06 21:55:50 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-12-06 21:55:50 +0000 |
| commit | cfcec36a36e642bb85cb97534d90820358464558 (patch) | |
| tree | 50cb58d647e44f29d873365ae57c63d367176b55 /.gitignore | |
| parent | 380d6f6486fb59d4e3b8443ca966b3fc5530f069 (diff) | |
Remove FSharp DLLs (no longer needed) and obsolete Makefile
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -69,6 +69,8 @@ Binaries/DafnyPipeline.dll Binaries/DafnyPipeline.pdb
Binaries/ModelViewer.exe*
Binaries/ModelViewer.pdb
+Binaries/ParserHelper.dll
+Binaries/ParserHelper.pdb
Test/*/Output
Test/*/*.sx
Test/VSComp2010/out.cs
|