Skip to main content

Browse the archive

Revision bbc775eeb3b5330be65f02626a2f3b18f4b7011c authored by Romain Bardou on 24 October 2019, 09:59:13 UTC, committed by Romain on 30 October 2019, 14:02:10 UTC 
Doc: Alphanet becomes Babylonnet
1 parent 871ee6a
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