diff options
| author |  Tej Chajed <tchajed@mit.edu> | 2017-08-10 12:52:30 +0100 |
|---|---|---|
| committer | Tej Chajed <tchajed@mit.edu> | 2017-08-10 12:52:30 +0100 |
| commit | a1fc30e9d90885ed665e350c1ef4598e66f3d68d (patch) | |
| tree | 256a92058712956eb0f314c6653dfecde644b5bb /grammar | |
| parent | 94c50815caf4c57b77ed761e05dc707f48685c65 (diff) | |
Amendments to contributing doc
Incorporating some feedback from @Zimmi48
Diffstat (limited to 'grammar')
0 files changed, 0 insertions, 0 deletions