diff --git a/users/Profpatsch/whatcd-resolver/.gitignore b/users/Profpatsch/whatcd-resolver/.gitignore
new file mode 100644
index 000000000..f9c4bdf8b
--- /dev/null
+++ b/users/Profpatsch/whatcd-resolver/.gitignore
@@ -0,0 +1 @@
+/.ninja/