Skip to content
GitLab
Explore
Sign in
Moved polygon descriptions into separate file
Code
Review changes
Check out branch
Download
Patches
Plain diff
Danijel Schorlemmer
requested to merge
feature/polygon-definitions
into
master
Dec 27, 2020
Overview
10
Commits
1
Pipelines
0
Changes
2
Expand
To keep the extraction script short, I moved the polygon descriptions into a separate markdown file.
Merge request reports
Loading