diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -10,6 +10,8 @@ Source/*/bin Source/*/obj
Source/Provers/*/bin
Source/Provers/*/obj
+Source/packages/*
+Source/UnitTests/TestResult.xml
Binaries/ITaskManager.dll
Binaries/ITaskManager.pdb
Binaries/Microsoft.SpecSharp.Runtime.dll
|