Skip to content
This repository was archived by the owner on Jun 3, 2021. It is now read-only.

rename 'protocol' to 'steps' and 'protocols' to 'tests'#184

Merged
soenkehahn merged 2 commits into
masterfrom
sh/renaming
Apr 2, 2019
Merged

rename 'protocol' to 'steps' and 'protocols' to 'tests'#184
soenkehahn merged 2 commits into
masterfrom
sh/renaming

Commits

Commits on Apr 1, 2019