Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Preserve code layout in .mli files
#680 opened May 25, 2021 by aantron
Syntax for metadata on code blocks
#633 opened Mar 11, 2021 by Julow
HTML markup, move away from tables
#614 opened Feb 28, 2021 by dbuenzli
Broken references
#609 opened Feb 26, 2021 by dbuenzli
References through open
#594 opened Feb 18, 2021 by Julow
ProTip! Exclude everything labeled bug with -label:bug.