Bobby Rong 046f4d5220 pkgs/pantheon: drop repoName ... It is not necessary to set this separately. Addressing the formatting now to minimize the Pantheon 7 update PR diff.		2022-01-24 20:31:02 +08:00
..
default.nix	pkgs/pantheon: drop repoName	2022-01-24 20:31:02 +08:00