Skip to content
GitLab
Explore
Sign in
Add functionality to save OpenGL-based map plot as animated GIF.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Adam Reichold
requested to merge
save-map-as-animated-gif
into
master
Jul 13, 2020
Overview
0
Commits
4
Pipelines
7
Changes
11
Expand
Merge request reports