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 /people | |
parent | 18fb2aca04e9c0f4bc241592885fbb98f3cc8f6c (diff) |
teams/wg-rustfmt: remove nrc and otavio
Diffstat (limited to 'people')
-rw-r--r-- | people/otavio.toml | 4 |
1 files changed, 0 insertions, 4 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" |