Revision 1713d524838c269950f3f0f478a95535c7461df7 authored by Anne-Laure on 05 June 2023, 13:21:42 UTC, committed by Anne-Laure on 05 June 2023, 13:21:42 UTC
1 parent 651c20d
.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
Computing file changes ...
