Remove some gnome-shell extensions
authorJames Bunton <jamesbunton@delx.net.au>
Thu, 12 Nov 2020 13:47:53 +0000 (00:47 +1100)
committerJames Bunton <jamesbunton@delx.net.au>
Thu, 12 Nov 2020 13:47:53 +0000 (00:47 +1100)
commit4bc11756b53246a6d9545ebd171bd3fb185057a9
treeceaa6b3b2b6c89319d05d0632a8ebf9072f8cdf4
parent665329384d1cd77ddc55f2dee37dcbda079cf8d5
Remove some gnome-shell extensions
arch/desktop-gnome-extensions