Skip to content
GitLab
Explore
Sign in
Various generator deployment fixes
Code
Review changes
Check out branch
Download
Patches
Plain diff
Volker Krause
requested to merge
vkrause/marble:generator-deployment-fixes
into
master
Nov 02, 2020
Overview
1
Commits
3
Pipelines
0
Changes
6
Expand
update build environment to Ubuntu 20.04
also integrate static plugins into the tools only needed once during initial setup
extend documentation
@nalvarez
@bcooksley
Merge request reports
Loading