Rename `area` to `region`
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
Rename `area` to `region`
Marco Holz
requested to merge
mr-area-region
into
main
Oct 25, 2021
Overview
3
Commits
1
Pipelines
0
Changes
5
Closes
#24 (closed)
Merge request reports
Loading