diff --git a/.gitignore b/.gitignore
index 1e80c5c7911957450f9faf0c5b8c8f25d3d96567..12ea1b3b0c9ee7567616d53ad5083fc4feb86be9 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