Skip to main content

Browse the archive

Revision b01d88707e99f5da9c480e7fdd2285ebff80fab1 authored by Mathias Bourgoin on 13 August 2019, 09:04:27 UTC, committed by Pierre Boutillier on 14 August 2019, 14:36:56 UTC 
Shell/Prevalidator: batched operation application
 
Co-authored-by: @MBourgoin <mathias.bourgoin@nomadic-labs.com>
Co-authored-by: @vect0r <victor.allombert@nomadic-labs.com>
1 parent 361b385
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