diff options
author | Vincent Ambo <mail@tazj.in> | 2020-08-26T22·17+0100 |
---|---|---|
committer | tazjin <mail@tazj.in> | 2020-08-26T22·21+0000 |
commit | e90242d02944ba75f4ef03e4f9d632036d26cfe3 (patch) | |
tree | f2acdfd67430bb3a27b9f2dfc392351c0973d654 /third_party/nix/.gitignore | |
parent | dec32be0d749098047e0fbaacbffeda0b15a8ee4 (diff) |
chore(net): Remove mushroom r/1713
We don't need to build this anymore. Change-Id: I0ddd4ec3db9eb4774553003e18c5503b0f431810 Reviewed-on: https://cl.tvl.fyi/c/depot/+/1842 Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: lukegb <lukegb@tvl.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party/nix/.gitignore')
0 files changed, 0 insertions, 0 deletions