Revision f936636ec3d7ea075fdc4ada1744ec27699cfa5e authored by Vincent Botbol on 10 June 2019, 15:26:38 UTC, committed by Vincent Botbol on 10 June 2019, 15:26:38 UTC
Port Athens to master

See merge request tezos/tezos!1117
2 parent s caa2872 + b4e1611
Raw File
.gitattributes
.gitignore	export-ignore
.gitattributes	export-ignore
.gitlab-ci.yml	export-ignore
src/lib_base/current_git_info.ml	export-subst
back to top