From fedac853df973e8cd277837724faf6c334c4382a Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 27 Jun 2019 12:18:03 +0200
Subject: [PATCH] Fixed gitignore to only exclude build dirs in the root
 folder.

Otherwise, e.g. src/storm/builder/ would also be excluded.
---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index ee2a4f77b..98a24b25d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -36,7 +36,7 @@ obj/
 CMakeFiles/
 CPackConfig.cmake
 # The build Dir
-*build*/
+/*build*/
 build//CMakeLists.txt
 /*.vcxproj
 /*.filters