Skip to content
GitLab
Explore
Sign in
refactor: rename Opening -> OpenedCommitment
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jakob Schneider Villumsen
requested to merge
67-please-rename-type-opening
into
main
Apr 21, 2023
Overview
0
Commits
0
Pipelines
0
Changes
0
Expand
Closes #67
Merge request reports
Loading