diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-11-07 11:09:40 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-11-07 11:09:40 +0000 |
| commit | 2e2445444abcde9fc2f50c70a8157958f7d5ddd8 (patch) | |
| tree | 8c667fc65a65c0e7978add07b72ec532a4b6eb7b /editors | |
| parent | a46a07eca33f951b3d445e49dcbff3c53962a8e0 (diff) | |
| parent | 433a8061910a388f777b839eb67f2582f91b6c7a (diff) | |
Merge #207
207: Finish implementing char validation r=aochagavia a=aochagavia
The only thing missing right now are good integration tests (and maybe more descriptive error messages)
Co-authored-by: Adolfo Ochagavía <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions