diff options
author | tv <tv@shackspace.de> | 2015-07-24 12:23:52 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-07-24 12:23:52 +0200 |
commit | ee52522cc139670c3eeaeeb462dff98ea870d2e4 (patch) | |
tree | 7022fa4da765ee34acd2a8f4e17abfe704fad8a7 /4lib/krebs/default.nix | |
parent | e3b72bb66e7c6bf410c8db81ff04e355a7b22116 (diff) |
4: {tv -> krebs}.types
Diffstat (limited to '4lib/krebs/default.nix')
-rw-r--r-- | 4lib/krebs/default.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/4lib/krebs/default.nix b/4lib/krebs/default.nix new file mode 100644 index 000000000..38c2a97d6 --- /dev/null +++ b/4lib/krebs/default.nix @@ -0,0 +1,7 @@ +{ lib, ... }: + +builtins // lib // { + + types = import ./types.nix { inherit lib; }; + +} |