Skip to main content

Browse the archive

Revision 56245ce489f59431c4206f8cb47608f386d3ecf9 authored by Romain Bardou on 02 December 2019, 10:09:51 UTC, committed by Pierre Boutillier on 03 December 2019, 11:13:58 UTC 
Scripts: fix condition in update_unit_test.sh
1 parent 8b85898
Raw File
.gitattributes 
.gitignore	export-ignore
.gitattributes	export-ignore
.gitlab-ci.yml	export-ignore
src/lib_version/current_git_info.ml	export-subst
back to top