From a0b54fbca45f5dd584180618929344a775b13f05 Mon Sep 17 00:00:00 2001
From: svkurowski <sascha.kurowski@rwth-aachen.de>
Date: Mon, 24 Nov 2014 23:04:53 +0100
Subject: [PATCH] Add src/utility/storm-version.cpp to ignored files

This file is generated by CMake.
A more robust solution would be to configure this file out-of-source
much like build/include/storm-config.h.


Former-commit-id: 05eacc7a5bb3797bda09599654d9c93d41a78545
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index aa15c7b9a..03286848f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -43,3 +43,5 @@ build//CMakeLists.txt
 #Temp texteditor files
 *.orig
 *.*~
+# CMake generated/configured files
+src/utility/storm-version.cpp