Skip to content
GitLab
Explore
Sign in
Dan Frumin
coq-stdpp
Repository
coq-stdpp
Makefile
Find file
Blame
History
Permalink
add target html and gallinahtml
· 2bf11f4f
Benoit Viguier
authored
Feb 15, 2017
also add html folder to .gitignore so generated doc is not added to the repo
2bf11f4f