Skip to content

Commit

Permalink
don't gitignore Theory.sml
Browse files Browse the repository at this point in the history
  • Loading branch information
digama0 committed Nov 16, 2024
1 parent 833b239 commit dcf959b
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@
*Theory.sig
*Theory.sml
*Theory.dat
!Theory.sig
!Theory.sml
*.uo
*.ui
*.o
Expand Down

0 comments on commit dcf959b

Please sign in to comment.