1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
<!-- Thank you for your contribution.
Make sure you read the contributing guide and fill this template. -->
<!-- If this is a bug fix, make sure the bug was reported beforehand. -->
Fixes / closes #????
<!-- Remove anything that doesn't apply in the following checklist. -->
<!-- If this is a feature pull request / breaks compatibility: -->
- [ ] Added **changelog**.
- [ ] Added / updated **documentation**.
<!-- If this breaks external libraries or plugins in CI: -->
- [ ] Opened **overlay** pull requests.
<!-- Pointers to relevant developer documentation:
Contributing guide: https://github.com/coq/stdlib/blob/master/CONTRIBUTING.md
Changelog: https://github.com/coq/stdlib/blob/master/doc/changelog/README.md
Building the doc: https://github.com/coq/stdlib/blob/master/doc/README.md
Sphinx: https://github.com/coq/stdlib/blob/master/doc/sphinx/README.rst
Overlays: https://github.com/coq/stdlib/blob/master/dev/doc/README-CI.md
|
