https://gitlab.com/tezos/tezos
Revision 44cce0b21f7b17146031fa045869f5ce7019fcdb authored by Nikolay Yakimov on 09 November 2023, 17:21:23 UTC, committed by Nikolay Yakimov on 09 November 2023, 17:24:02 UTC
1 parent cfc1549
Raw File
Tip revision: 44cce0b21f7b17146031fa045869f5ce7019fcdb authored by Nikolay Yakimov on 09 November 2023, 17:21:23 UTC
MIR: proto: entrypoint newtype
Tip revision: 44cce0b
.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