diff --git a/users/Profpatsch/.gitignore b/users/Profpatsch/.gitignore
index c33954f53..95941cd52 100644
--- a/users/Profpatsch/.gitignore
+++ b/users/Profpatsch/.gitignore
@@ -1 +1,2 @@
 dist-newstyle/
+result-*