Skip to content
GitLab
Explore
Sign in
Map Manager Interfaces Update
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Map Manager Interfaces Update
Ghost User
requested to merge
r34-jona
into
master
Feb 13, 2020
Overview
3
Commits
9
Changes
1
Add get_rois() function
Add get_ROI() function
Update is_inside_roi() function
Add roi_exists() function
Formatting
Clean up docstrings
Add better support for POI types
Edited
Feb 13, 2020
by
Ghost User
Merge request reports
Loading