summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
progress-linuxAdding progress-linux version 20171117-0dschinn1.Daniel Baumann4 months
upstreamAdding upstream version 20171117.Daniel Baumann4 months
 
TagDownloadAuthorAge
progress-linux/20171117-0dschinn1gnome-shell-extension-disable-workspace-switcher-popup-progress-linux/20171117-0dschinn1.zip  gnome-shell-extension-disable-workspace-switcher-popup-progress-linux/20171117-0dschinn1.tar.xz  Daniel Baumann4 months
upstream/20171117gnome-shell-extension-disable-workspace-switcher-popup-upstream/20171117.zip  gnome-shell-extension-disable-workspace-switcher-popup-upstream/20171117.tar.xz  Daniel Baumann4 months
 
AgeCommit messageAuthorFilesLines
2018-06-30Adding progress-linux version 20171117-0dschinn1.HEADprogress-linux/20171117-0dschinn1progress-linuxDaniel Baumann8-0/+67
2018-06-30Adding upstream version 20171117.upstream/20171117upstreamDaniel Baumann6-0/+92
2018-06-30Initial commit.Daniel Baumann0-0/+0
 
Clone
https://sources.progress-linux.org/distributions/dschinn-extras/packages/gnome-shell-extension-disable-workspace-switcher-popup
ssh://git@sources.progress-linux.org/distributions/dschinn-extras/packages/gnome-shell-extension-disable-workspace-switcher-popup