Skip to main content

Browse the archive

Revision fa723b9297ba7b786563391533b1a7f237721fdb authored by Romain on 23 March 2020, 20:10:38 UTC, committed by Romain on 23 March 2020, 20:10:38 UTC 
Merge branch 'romain-config' into 'master'
 
Node: write configuration file if it does not exist

See merge request tezos/tezos!1658
2 parent s 0d6f076 + 0737ae7
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