From 499c5e5350b509cc6ec1eedd7019592be515b50c Mon Sep 17 00:00:00 2001
From: David Schneider <david.schneider@bivab.de>
Date: Thu, 29 Nov 2018 12:03:55 +0100
Subject: [PATCH] Add generated test files to gitignore

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

diff --git a/.gitignore b/.gitignore
index f3654b0..8c3cba9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,6 @@ src/test/resources/testing
 src/test/resources/todo
 TLC4B.jar
 temp
+out/
+src/test/**/*.tla
+src/test/**/*.cfg
-- 
GitLab