summaryrefslogtreecommitdiffstats
path: root/shared
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-02-11 03:47:26 +0100
committertv <tv@krebsco.de>2016-02-11 03:47:26 +0100
commit0cf6d065f43c66efadd0a364c3414e6ecdae0004 (patch)
tree85b2af1878da06a7f1104e6f2d91439e179f2efc /shared
parent8b130a66287b829e7b6f9be0130df7231c7a6605 (diff)
*: turn 5pkgs into a(n optional) module
Diffstat (limited to 'shared')
-rw-r--r--shared/5pkgs/default.nix5
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
-_:
-
-{
-}