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 /net/mushroom/.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 'net/mushroom/.gitignore')
| -rw-r--r-- | net/mushroom/.gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/net/mushroom/.gitignore b/net/mushroom/.gitignore deleted file mode 100644 index 53eaa21960d1..000000000000 --- a/net/mushroom/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -/target -**/*.rs.bk |