about summary refs log tree commit diff
path: root/external
diff options
context:
space:
mode:
authorVincent Ambo <tazjin@google.com>2019-12-09T12·26+0000
committerVincent Ambo <tazjin@google.com>2019-12-09T12·26+0000
commit9fb24840ab2951d178fe2b02a0da0c8d8ec4d532 (patch)
treef6d8c604ca2b3131e0dd465d0b237a47aa830bd9 /external
parent124e185628adc20e4cb9bb022181dfbd061aa340 (diff)
chore: Remove old 'external' folder r/114
What was the point of this? Noone knows!
Diffstat (limited to 'external')
-rw-r--r--external/default.nix1
1 files changed, 0 insertions, 1 deletions
diff --git a/external/default.nix b/external/default.nix
deleted file mode 100644
index af0a194815ff..000000000000
--- a/external/default.nix
+++ /dev/null
@@ -1 +0,0 @@
-import ../default.nix