Skip to main content

Browse the archive

Revision 40d94fb742ecf380538646b02be0b70180a9025c authored by Raphaël Cauderlier on 26 May 2020, 10:30:05 UTC, committed by Raphaël Cauderlier on 26 May 2020, 20:10:52 UTC 
Doc/Michelson: fix the formatting of the typing rule of FAILWITH
1 parent dbd7893
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