From 871629a55c2ed7286810a3dc2631dacb712604c0 Mon Sep 17 00:00:00 2001 From: Alex Kladov Date: Wed, 30 Aug 2023 11:53:42 +0100 Subject: [PATCH] remove wg-parselib It didn't really fully existed anyway. Still, we should share the darn parser someday, this dragon still awaits its knight! --- teams/wg-parselib.toml | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 teams/wg-parselib.toml diff --git a/teams/wg-parselib.toml b/teams/wg-parselib.toml deleted file mode 100644 index 42db42dc0..000000000 --- a/teams/wg-parselib.toml +++ /dev/null @@ -1,13 +0,0 @@ -name = "wg-parselib" -subteam-of = "compiler" -kind = "working-group" - -[people] -leads = ["matklad"] -members = ["matklad"] - -[website] -name = "Parselib working group" -description = "Sharing the parser between rustc and rust-analyzer" -repo = "https://rust-lang.github.io/compiler-team/working-groups/parselib/" -zulip-stream = "t-compiler/wg-parselib"