Skip to content

dep_merge_branches definition

Andrey Klaus requested to merge testmr into master

dep_merge_branches definition, fix definitions for proofs, related to #135

Edited by Andrey Klaus

Merge request reports