Ignore all files called input*.txt

2024-12-02 08:40:55 +00:00
parent 85bccdec58
commit bc9c30ad5f
1 changed files with 1 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,3 @@
 _build/
 _opam/
-input.txt
+input*.txt