read the prs file
This commit is contained in:
parent
ad0d3d3b94
commit
e8d72cfaea
1 changed files with 1 additions and 1 deletions
|
@ -202,7 +202,7 @@ let
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
prs = builtins.fromJSON <prs>;
|
prs = builtins.fromJSON (builtins.readFile <prs>);
|
||||||
srcs = builtins.mapAttrs
|
srcs = builtins.mapAttrs
|
||||||
(n: value:
|
(n: value:
|
||||||
builtins.fetchgit {
|
builtins.fetchgit {
|
||||||
|
|
Loading…
Reference in a new issue