Deleting the coq-master brnach

math-comp / hierarchy-builder

High level commands to declare a hierarchy based on packed classes

MIT License

95 stars 20 forks source link

Closed proux01 closed 9 months ago

proux01 commented 11 months ago

Now that the CI of Coq uses the master branch, it would probably be better to delete the coq-master branch to avoid any confusion.

proux01 commented 9 months ago

Done