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 /people/BurntSushi.toml | |
parent | c2141e1e162d1da2139cbb31872bdf78222f1461 (diff) | |
parent | 221fa9e0c290c5b7c27476408ebae00bc6eddce0 (diff) |
fix typo in wg-grammar description
Diffstat (limited to 'people/BurntSushi.toml')
0 files changed, 0 insertions, 0 deletions