Skip to content
GitLab
Explore
Sign in
Register
ogs
ogs
Merge requests
!3719
[ci] Fix gui linux
Code
Review changes
Check out branch
Download
Patches
Plain diff
Lars Bilke
requested to merge
bilke/ogs:fix-gui-linux
into
master
Jul 23, 2021
Overview
0
Commits
1
Pipelines
0
Changes
1
Expand
Follow-up on
!3717 (merged)
.
Merge request reports