Skip to content

Commit

Permalink
Restore to original .gitignore before changes.
Browse files Browse the repository at this point in the history
  • Loading branch information
@jhlchan
jhlchan committed Dec 19, 2024
1 parent 9a848d0 commit 0caf57d
Showing 1 changed file with 0 additions and 9 deletions.
9 changes: 0 additions & 9 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -135,12 +135,3 @@ examples/l3-machine-code/**/*-heap
*Script_ttt.sml
*.tttsave
/TAGS

# stale file
hol-mode.el

#Auto-generated files by VIM
vim/filetype.vim
vim/hol-config.sml
vim/hol.vim
vim/vimhol.sml

0 comments on commit 0caf57d

Please sign in to comment.