adding backup files to gitignore

WeirdConstructor · Jun 3, 2020 · e353d0f · e353d0f
1 parent f31b0c2
commit e353d0f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -4,3 +4,5 @@ target/
 prelude_test.txt
 tmp_scripts/
 old_bins/
+src/prelude.bak
+doc/wlambda_reference.bak