Skip to main content

Browse the archive

Revision 0ffdaba45aa7e40ec02c56df49260d903a3d40c0 authored by Romain on 04 February 2020, 14:29:19 UTC, committed by Romain on 04 February 2020, 14:29:19 UTC 
Merge branch 'romain-flextesa' into 'master'
 
Romain flextesa

See merge request tezos/tezos!1550
2 parent s 81f4890 + 0c2760e
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