Skip to content
GitLab
Explore
Sign in
Education
Marble
Merge requests
!32
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