remove redundant gitignore entries

pmbittner · pmbittner · commit af974affc8d7 · 2022-04-13T10:30:12.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -121,8 +121,6 @@ patches/*
 /error
 examples/
 results/
-/input
-log.txt
 
 /log.txt
 /local-maven-repo
