Skip to content
GitLab
Explore
Sign in
build: Add devel profile
Code
Review changes
Check out branch
Download
Patches
Plain diff
Guido Günther
requested to merge
devel-profile
into
main
Apr 11, 2024
Overview
14
Commits
4
Pipelines
7
Changes
11
Expand
This can be used for the flatpak devel builds
Merge request reports
Loading