search

mit-plv / bbv

Bedrock Bit Vector Library
MIT License
27 stars 23 forks source link

Update gitignore for compatibility with Coq master #29

Closed tchajed closed 5 years ago

tchajed commented 5 years ago

For compatibility with https://github.com/coq/coq/pull/8642.