From 1bcd5054d80e06c6140fcf2ef4fe6e5f76a8f7e9 Mon Sep 17 00:00:00 2001
From: Fabian Becker <fabian.becker@uni-tuebingen.de>
Date: Wed, 6 Mar 2013 12:19:34 +0100
Subject: [PATCH] Add serialization files to .gitignore

---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index f3d6549d..5a415160 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
-/build/
\ No newline at end of file
+/build/
+*.ser