Modify .gitignore to discard files.

jhlchan · jhlchan · commit 81fb94ed326f · 2024-12-16T17:23:31.000+11:00
diff --git a/.gitignore b/.gitignore
@@ -135,3 +135,9 @@ examples/l3-machine-code/**/*-heap
 *Script_ttt.sml
 *.tttsave
 /TAGS
+
+# stale file
+hol-mode.el
+
+#Auto-generated files by VIM
+vim/
