diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-01-22 16:53:19 +0100 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-01-22 23:22:42 +0100 |
| commit | 260a5c06d9fb856dc0f65d97ba83d76bd4aaa945 (patch) | |
| tree | 590f2b82efbb70fabae592df804b0980c73a4595 /teams/devtools.toml | |
| parent | 9cec8b78f83aac75a2c503d46c8c2e914a27fb15 (diff) | |
add static api and fix website data
Diffstat (limited to 'teams/devtools.toml')
| -rw-r--r-- | teams/devtools.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/teams/devtools.toml b/teams/devtools.toml index c3c576c..4b88773 100644 --- a/teams/devtools.toml +++ b/teams/devtools.toml @@ -5,6 +5,7 @@ leads = [] members = [] [website] +page = "dev-tools" name = "Dev tools team" description = "Rust developer tools" repo = "https://github.com/rust-dev-tools/dev-tools-team" |