Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Merge requests
!2
add target html and gallinahtml
Code
Review changes
Check out branch
Download
Patches
Plain diff
Benoit Viguier
requested to merge
benoit/coq-stdpp:make_html
into
master
Feb 17, 2017
Overview
4
Commits
1
Pipelines
0
Changes
2
Expand
also add html folder to .gitignore so generated doc is not added to the repo
Merge request reports