Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
!1195
extensions-tool: use define_variable for bash completionsdir
Code
Review changes
Check out branch
Download
Patches
Plain diff
worldofpeace
requested to merge
worldofpeace/gnome-shell:define_variable
into
master
Apr 09, 2020
Overview
1
Commits
1
Pipelines
4
Changes
1
Expand
https://www.bassi.io/articles/2018/03/15/pkg-config-and-paths/
Merge request reports