Skip to main content

Browse the archive

Revision 63a363029c2a5f9b48170ec972162f71ce81c180 authored by Richard Bonichon on 17 April 2020, 16:04:12 UTC, committed by Benjamin Canou on 05 May 2020, 21:50:39 UTC 
Client/mockup: float up constants
1 parent b4982f2
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