Revision 9fa743b62a6a487c2a05426332c7c8593ab7813c authored by Marge Bot on 26 July 2022, 08:07:28 UTC, committed by Marge Bot on 26 July 2022, 08:07:28 UTC
'functori@scoru-node-operators' into 'master'

Co-authored-by: Alain Mebsout <alain.mebsout@functori.com>

Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com>
Approved-by: Yann Regis-Gianas <946787-yrg@users.noreply.gitlab.com>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/5796
2 parent s d08f431 + 5cdbe78
Raw File
.gitattributes
_coverage_output export-ignore
.gitignore export-ignore
.gitattributes export-ignore
.gitlab-ci.yml export-ignore
.github export-ignore
.gitlab export-ignore
devtools export-ignore
# these folders have symlinks which are problematic on Windows
docs/active export-ignore

src/lib_version/exe/get_git_info.ml export-subst
src/lib_version/current_git_info.ml export-subst
back to top