From 75333bf98c6ca68607326753aa33d2380765a767 Mon Sep 17 00:00:00 2001
From: "Vu, Fabian (favu100)" <fabian.vu@uni-duesseldorf.de>
Date: Tue, 26 Jan 2021 15:30:49 +0100
Subject: [PATCH] Update .gitignore

---
 .gitignore | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 1e80c5c79..12ea1b3b0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -158,4 +158,10 @@ probcli
 probcli.sh
 benchmarks/ProB/lib
 benchmarks/ProB/stdlib
-*.c
+
+/*.c
+/*.cpp
+/*.hpp
+/*.java
+/*.mch
+/*.py
-- 
GitLab