Skip to main content

Browse the archive

Revision f81add2e3bddd90ff33ce8909c4b936bdd537cac authored by Clément Pascutto on 02 March 2020, 12:01:05 UTC, committed by Clément Pascutto on 02 March 2020, 12:01:05 UTC 
Merge branch 'irmin.2.1.0' into 'master'
 
Upgrade to irmin.2.1.0 and index.1.2.0

See merge request tezos/tezos!1604
2 parent s eda8967 + 9f8d692
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