From ddcd6ae716cfc7b5860aea4a76a9ff1e08974a38 Mon Sep 17 00:00:00 2001
From: Markus Quaritsch <markus.quaritsch@tugraz.at>
Date: Fri, 6 Sep 2019 07:59:52 +0200
Subject: [PATCH] updating .gitignore

(cherry picked from commit dfadc1cb22931f03eb27643016072c3cc492aecd)
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index e71c224455..865d809150 100644
--- a/.gitignore
+++ b/.gitignore
@@ -203,3 +203,4 @@ Documentation/VehiclesReleaseComparisonDeclarationMode/*.vmod
 Documentation/VehiclesReleaseComparisonDeclarationMode/*.vsum
 
 DISTR/
+Documentation/VehiclesReleaseComparisonDeclarationMode/tmp/
-- 
GitLab