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 | 040469dded0bf75bbdcbcef75bc2ece36c8a4396 (patch) | |
| tree | 7d29ac187260d6293945be6ff5f81ef618a47ccd /shared | |
| parent | 5e958c83144786462de6e36da89375a94d8511cc (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 fdcfbb2..0000000 --- a/shared/5pkgs/default.nix +++ /dev/null @@ -1,5 +0,0 @@ -# TODO don't require 5pkgs -_: - -{ -} |