From 194db381b4e5491951fa92e4ea9915df47938b6d Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 14 Jan 2016 14:21:30 +0100
Subject: [PATCH] now ignoring .log and .DS_Store files

Former-commit-id: 9b2f2ad90140db6f2de364f0f09d653f14d54d47
---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index bd4e15887..ae1598ee9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -46,3 +46,6 @@ build//CMakeLists.txt
 *.*~
 # CMake generated/configured files
 src/utility/storm-version.cpp
+.DS_Store
+*.out
+