From 010fa4bfd34b5b1ef191da3986ef61ec20c93e3e Mon Sep 17 00:00:00 2001
From: Markus Quaritsch <markus.quaritsch@tugraz.at>
Date: Thu, 24 Sep 2020 10:29:30 +0200
Subject: [PATCH] updating gitignore settings

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

diff --git a/.gitignore b/.gitignore
index b28bbafcb4..c6bd82666d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -209,3 +209,5 @@ EPTP/
 201*-VECTO-*.zip
 Documentation/VehiclesReleaseComparisonDeclarationMode/tmp/
 .vs/
+**/dev/*.vmod
+**/dev/*.vsum
-- 
GitLab