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/3modules/default.nix | |
| parent | c213968c44befe32f115ec0122accebdabd89582 (diff) | |
merge shared into krebs
Diffstat (limited to 'shared/3modules/default.nix')
| -rw-r--r-- | shared/3modules/default.nix | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/shared/3modules/default.nix b/shared/3modules/default.nix deleted file mode 100644 index 7fbdb77f4..000000000 --- a/shared/3modules/default.nix +++ /dev/null @@ -1,5 +0,0 @@ -# TODO don't require 3modules -_: - -{ -} |