From aa006fa2372bf8b17e0db7d1ae78672b8767c812 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 9 Apr 2014 11:31:44 +0100 Subject: [PATCH] added dotnet generated files to .gitignore Signed-off-by: Christoph M. Wintersteiger --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.gitignore b/.gitignore index 77f4d1896..647529b4f 100644 --- a/.gitignore +++ b/.gitignore @@ -55,6 +55,8 @@ src/api/api_log_macros.cpp src/api/dll/api_dll.def src/api/dotnet/Enumerations.cs src/api/dotnet/Native.cs +src/api/dotnet/Properties/AssemblyInfo.cs +src/api/dotnet/Microsoft.Z3.xml src/api/python/z3consts.py src/api/python/z3core.py src/ast/pattern/database.h