add opam dir to gitignore
This commit is contained in:
parent
14626c0bfe
commit
b26d0a28d1
1 changed files with 1 additions and 1 deletions
2
.gitignore
vendored
2
.gitignore
vendored
|
@ -1,4 +1,4 @@
|
||||||
_build
|
_build
|
||||||
*~
|
*~
|
||||||
*#
|
*#
|
||||||
|
_opam
|
||||||
|
|
Loading…
Reference in a new issue