worldofpeace 8845cb868c pantheon: remove plank ... We don't use this anymore. Oops.		2020-09-03 21:46:19 -04:00
..
default.nix	pantheon: remove plank	2020-09-03 21:46:19 -04:00
plugins-dir.patch	pantheon.gala: 3.2.0 -> 3.3.0	2020-04-05 20:39:12 -04:00
use-new-notifications-default.patch	pantheon.gala: use-new-notifications default true	2020-04-06 02:48:07 -04:00