From 9fb24840ab2951d178fe2b02a0da0c8d8ec4d532 Mon Sep 17 00:00:00 2001 From: Vincent Ambo Date: Mon, 9 Dec 2019 12:26:45 +0000 Subject: chore: Remove old 'external' folder What was the point of this? Noone knows! --- external/default.nix | 1 - 1 file changed, 1 deletion(-) delete mode 100644 external/default.nix diff --git a/external/default.nix b/external/default.nix deleted file mode 100644 index af0a194815..0000000000 --- a/external/default.nix +++ /dev/null @@ -1 +0,0 @@ -import ../default.nix -- cgit 1.4.1