From a4917b88719614c5480379d2dc6d1441077d3478 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Wed, 1 Mar 2017 20:51:55 +0100
Subject: [PATCH] Added gdb_history to ignore

---
 .gitignore | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 3df573f..757c3db 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,15 @@
-/Debug/
+*.swo
+*.o
+*.bc
+*.log
+*.swp
+*.elf
+*.hex
+objects
+klee-*
+tags
+docs
+.ropeproject
+.gdb_history
+code-samples
+klee_profiling.db
-- 
GitLab