From 330bf669b6be4ae95b67185629e854d3c85c3354 Mon Sep 17 00:00:00 2001
From: Orestis Melkonian <melkon.or@gmail.com>
Date: Sat, 10 Mar 2018 18:50:37 +0100
Subject: [PATCH] Update .gitignore

---
 .gitignore | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 77c9476..2211745 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,5 +12,7 @@ tests/org/
 .stack-work/
 # Intellij IDEA
 .idea/
-# Z3
-z3.log
+# Output logs
+*.log
+*.out
+*.backup
-- 
GitLab