Merge branch 'gitignore-opam' into 'master'

Add _opam to .gitignore See merge request iris/iris!900

Merge branch 'gitignore-opam' into 'master'
Add _opam to .gitignore See merge request iris/iris!900
e1aa9b82 · Ralf Jung · e0524470 · e281e969 · e1aa9b82
Commit e1aa9b82 authored 2 years ago by Ralf Jung
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,4 @@ Makefile.coq.conf
 .Makefile.coq.d
 Makefile.package.*
 .Makefile.package.*
+_opam