Skip to main content

Browse the archive

Revision 2b1d15340591dd08cd22a2a5be7c1570a9ea8476 authored by Tomáš Zemanovič on 17 April 2019, 06:58:32 UTC, committed by Pierre Boutillier on 23 April 2019, 08:43:40 UTC 
add 'which' build dep
1 parent 1479bb4
Raw File
.gitattributes 
.gitignore	export-ignore
.gitattributes	export-ignore
.gitlab-ci.yml	export-ignore
src/lib_base/current_git_info.ml	export-subst
back to top