diff options
| author | Vincent Ambo <tazjin@google.com> | 2019-12-09T12·26+0000 |
|---|---|---|
| committer | Vincent Ambo <tazjin@google.com> | 2019-12-09T12·26+0000 |
| commit | 9fb24840ab2951d178fe2b02a0da0c8d8ec4d532 (patch) | |
| tree | f6d8c604ca2b3131e0dd465d0b237a47aa830bd9 /external | |
| parent | 124e185628adc20e4cb9bb022181dfbd061aa340 (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.nix | 1 |
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 |