Skip to main content

Browse the archive

Revision c956b3d7deb0bb682dab37f8d3689ef8a92b307b authored by Pietro on 21 April 2020, 14:39:53 UTC, committed by Pierre Boutillier on 22 April 2020, 20:36:00 UTC 
ci: add nomadic-labs tag
1 parent b5a0a2b
Raw File
.gitattributes 
.gitignore	export-ignore
.gitattributes	export-ignore
.gitlab-ci.yml	export-ignore
src/lib_version/current_git_info.ml	export-subst
back to top