diff options
| author |  MichalMoskal <unknown> | 2010-10-12 01:18:45 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-10-12 01:18:45 +0000 |
| commit | 45fb2f73118bf4010ad08757122d829c76e676d3 (patch) | |
| tree | e67f8006ad0e4a72f6fb2340ae14e6716452fe4d /.gitignore | |
| parent | 2b1ddfbe8bcd48da4cab27e06078de59eecc8f40 (diff) | |
Make the -mv option use the new Model class.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 6 |
1 files changed, 1 insertions, 5 deletions
@@ -1,8 +1,4 @@ -Source/AIFramework/bin/
-Source/AIFramework/obj/
-Source/AbsInt/bin/
-Source/AbsInt/obj/
-Source/Basetypes/bin/
+Source/t
Source/_ReSharper.Boogie
Source/Provers/*/*.user
Source/*/*.user
|