diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-12-06 14:16:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-06 14:16:21 +0100 |
| commit | a6a6ac48dd6ec8fa177557870388d90a2c09d3f8 (patch) | |
| tree | 7cb7e417ee8eb084b762deb03bd44d1cac765d51 | |
| parent | c2141e1e162d1da2139cbb31872bdf78222f1461 (diff) | |
| parent | 221fa9e0c290c5b7c27476408ebae00bc6eddce0 (diff) | |
fix typo in wg-grammar description
| -rw-r--r-- | teams/wg-grammar.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/teams/wg-grammar.toml b/teams/wg-grammar.toml index 92657ef..b9041a3 100644 --- a/teams/wg-grammar.toml +++ b/teams/wg-grammar.toml @@ -13,4 +13,4 @@ members = [ [website] name = "Grammar" -description = "Working out a the official, formal grammar for Rust and validating it against existing implementations." +description = "Working out the official, formal grammar for Rust and validating it against existing implementations." |