move trapdoor out of bootstrap
This commit is contained in:
parent
d3d16cda76
commit
100de72342
3 changed files with 8 additions and 9 deletions
|
|
@ -40,6 +40,5 @@ in
|
||||||
|
|
||||||
maybe = ./maybe.nix;
|
maybe = ./maybe.nix;
|
||||||
terminal = ./terminal.nix;
|
terminal = ./terminal.nix;
|
||||||
trapdoor = ./trapdoor.nix;
|
|
||||||
}
|
}
|
||||||
]
|
]
|
||||||
|
|
|
||||||
|
|
@ -1,11 +1,11 @@
|
||||||
{mix, ...} @ inputs:
|
{mix, ...} @ inputs:
|
||||||
mix.newMixture inputs (mixture: {
|
mix.newMixture inputs (mixture: {
|
||||||
includes = {
|
includes.public = [
|
||||||
public = [
|
./nt.nix
|
||||||
./nt.nix
|
./sig.nix
|
||||||
];
|
./class.nix
|
||||||
protected = [
|
];
|
||||||
./bootstrap
|
submods.public = [
|
||||||
];
|
./trapdoor.nix
|
||||||
};
|
];
|
||||||
})
|
})
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue