Skip to content

Copy proofs to proto alpha, Part 1

Daniel Hilst requested to merge 385-copy-proofs-to-proto-alpha into master

Part of #385 (closed)

Copy the files, rename and blacklist the files failing

Edited by Daniel Hilst

Merge request reports