Skip to content
GitLab
Explore
Sign in
GNOME
Files
Merge requests
!471
Resolve "--no-desktop option?"
Code
Review changes
Check out branch
Download
Patches
Plain diff
António Fernandes
requested to merge
774-no-desktop-option
into
master
Jul 13, 2019
Overview
0
Commits
2
Pipelines
3
Changes
2
Expand
Closes
#774 (closed)
Edited
Jul 13, 2019
by
António Fernandes
Merge request reports