diff options
| author | tv <tv@krebsco.de> | 2017-07-14 00:17:58 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2017-07-14 00:21:02 +0200 |
| commit | 58380c82848c3db0bd6c3d74904153f3464c2098 (patch) | |
| tree | dcefa424c037ef13edba18967143b3290dc739cb /shared/default.nix | |
| parent | c213968c44befe32f115ec0122accebdabd89582 (diff) | |
merge shared into krebs
Diffstat (limited to 'shared/default.nix')
| -rw-r--r-- | shared/default.nix | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/shared/default.nix b/shared/default.nix deleted file mode 100644 index 320e1a133..000000000 --- a/shared/default.nix +++ /dev/null @@ -1,8 +0,0 @@ -_: -{ - imports = [ - ../krebs - ./2configs - ./3modules - ]; -} |