From 750287bf2222883eef94d3b6007d9207b6533205 Mon Sep 17 00:00:00 2001
From: Joseph Chan <jhlchan@gmail.com>
Date: Wed, 18 Dec 2024 00:21:27 +1100
Subject: [PATCH] Only ignore auto-generated files by VIM.

---
 .gitignore | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index f8973510f7..13b0a9c0d9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -140,4 +140,7 @@ examples/l3-machine-code/**/*-heap
 hol-mode.el
 
 #Auto-generated files by VIM
-vim/
+vim/filetype.vim
+vim/hol-config.sml
+vim/hol.vim
+vim/vimhol.sml