diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-09-03 14:23:47 +0200 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-09-03 20:19:32 +0200 |
commit | 4bffda200f617ebdfc64c1f5d8ff662c5dc54aaa (patch) | |
tree | 0c5259d0ab830133284d0fc0f49ad0008173327a | |
parent | 18fb2aca04e9c0f4bc241592885fbb98f3cc8f6c (diff) |
teams/wg-rustfmt: remove nrc and otavio
-rw-r--r-- | people/otavio.toml | 4 | ||||
-rw-r--r-- | teams/wg-rustfmt.toml | 2 |
2 files changed, 0 insertions, 6 deletions
diff --git a/people/otavio.toml b/people/otavio.toml deleted file mode 100644 index c7e5216..0000000 --- a/people/otavio.toml +++ /dev/null @@ -1,4 +0,0 @@ -name = "Otavio Salvador" -github = "otavio" -github-id = 25278 -email = "otavio@ossystems.com.br" diff --git a/teams/wg-rustfmt.toml b/teams/wg-rustfmt.toml index dba0141..86d4027 100644 --- a/teams/wg-rustfmt.toml +++ b/teams/wg-rustfmt.toml @@ -5,8 +5,6 @@ wg = true [people] leads = ["topecongiro"] members = [ - "nrc", - "otavio", "scampi", "topecongiro", ] |