Skip to content
GitLab

manager.tz 'do' entrypoint and 'add_do'/'add_set_delegate' transformations

Closed Tomáš Zemanovič requested to merge cryptiumlabs/mi-cho-coq:tomas@manager-contract-do-entry into master