Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Ana de Almeida Borges
templates
Branches
Overview
Active
Stale
All
Stale branches
dependency-description-or-opam-name
1c571210
·
Rename description field of dependencies and add a default value.
·
May 05, 2020
contributors-list
4c3d04b5
·
add list of (non-author) contributors
·
Jul 06, 2020
optional-namespace
d9e1de04
·
make namespace optional for README.md.mustache
·
Jul 21, 2020
fix-newline
7f3093c6
·
Fix: no extra line when after_author is not used.
·
Aug 12, 2020
coqdoc-index
dae091f9
·
turn coqdoc_index into relative URL
·
Sep 10, 2020