From 79eda8573e15224fb397d48793c6dfa72e268420 Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Tue, 26 Mar 2013 11:18:29 +0100 Subject: [PATCH] =?UTF-8?q?Remove=20broken=20=E2=80=98removeList=E2=80=99?= =?UTF-8?q?=20function?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/lib/lists.nix | 4 ---- 1 file changed, 4 deletions(-) diff --git a/pkgs/lib/lists.nix b/pkgs/lib/lists.nix index 0916355568c3..3c01b165fc1c 100644 --- a/pkgs/lib/lists.nix +++ b/pkgs/lib/lists.nix @@ -92,10 +92,6 @@ rec { remove = e: filter (x: x != e); - # Given two lists, removes all elements of the first list from the second list - removeList = l: filter (x: elem x l); - - # Return true if `list' has an element `x'. elem = builtins.elem or