Skip to content

Commit

Permalink
Add _opam directory
Browse files Browse the repository at this point in the history
  • Loading branch information
@Halbaroth
Halbaroth committed Apr 21, 2023
1 parent fea0acb commit 0715fdc
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,4 +16,5 @@ src/coreSig.ml
src/extSigs.ml
config.log
Makefile
META
META
_opam

0 comments on commit 0715fdc

Please sign in to comment.