Revision 96c876222a7c5e194b39e2a6fb55aa2ced992c12 authored by iguerNL@Functori on 12 October 2023, 07:50:38 UTC, committed by Marge Bot on 02 November 2023, 10:58:54 UTC
1 parent e7cb9b8
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