diff options
| author | tv <tv@krebsco.de> | 2016-02-11 03:47:26 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2016-02-11 03:47:26 +0100 |
| commit | 0cf6d065f43c66efadd0a364c3414e6ecdae0004 (patch) | |
| tree | 85b2af1878da06a7f1104e6f2d91439e179f2efc /shared | |
| parent | 8b130a66287b829e7b6f9be0130df7231c7a6605 (diff) | |
*: turn 5pkgs into a(n optional) module
Diffstat (limited to 'shared')
| -rw-r--r-- | shared/5pkgs/default.nix | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/shared/5pkgs/default.nix b/shared/5pkgs/default.nix deleted file mode 100644 index fdcfbb209..000000000 --- a/shared/5pkgs/default.nix +++ /dev/null @@ -1,5 +0,0 @@ -# TODO don't require 5pkgs -_: - -{ -} |