-
Notifications
You must be signed in to change notification settings - Fork 44
No labels!
There aren’t any labels for this repository quite yet.
14 labels
build/continuous integration ⚙️
build/continuous integration :gear:
This issue/PR is about the build process or CI
documentation 📝
documentation :memo:
This issue/PR is about documentation of the library / repository
enhancement ✨
enhancement :sparkles:
This issue/PR is about adding new features enhancing the library
renaming/refactoring 🔧
renaming/refactoring :wrench:
This is about a renaming or refactoring in the library
TODO: MC2 port
TODO: MC2 port
This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
wontfix/merge 🚫
wontfix/merge :no_entry_sign:
We wont fix this issue/merge this PR, we will close it soon