Revision d90081f0616b13e3c27754567ecd76ff8bf9e3a8 authored by Hans Hoglund on 12 January 2022, 17:29:11 UTC, committed by Hans Hoglund on 12 January 2022, 17:29:11 UTC
1 parent 9b7aed0
.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/current_git_info.ml export-subst
Computing file changes ...