Merge branch 'fix-gitignore' into 'master'
Update gitignore for compatibility with Coq master See merge request iris/iris!325
Loading
Please register or sign in to comment
Update gitignore for compatibility with Coq master See merge request iris/iris!325