Skip to content

Commit

Permalink
Only ignore auto-generated files by VIM.
Browse files Browse the repository at this point in the history
  • Loading branch information
@jhlchan
jhlchan committed Dec 17, 2024
1 parent 81fb94e commit 9a848d0
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit 9a848d0

Please sign in to comment.