Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
Florian Müllner
gnome-extensions-tool
Merge requests
!2
Add 'prefs' command
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Müllner
requested to merge
prefs
into
master
Jan 11, 2019
Overview
0
Commits
2
Pipelines
1
Changes
7
Expand
... to quickly launch an extension's preference dialog.
Merge request reports