1 files changed, 1 insertions, 5 deletions

diff --git a/.gitignore b/.gitignore
index c6ee95ca..3ac7f5b0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -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