Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | resolve merge conflict on test | majorseitan@blockfreie.org | 2018-05-26 |
| | |||
* | Handling of JSON escape characters | majorseitan@blockfreie.org | 2018-05-26 |
| | | | | | 1. Handle the escape character \/ | ||
* | Handling of JSON escape characters | majorseitan@blockfreie.org | 2018-04-15 |
| | | | | | 1. Handle the escape character \\ | ||
* | Handling of JSON escape characters | majorseitan@blockfreie.org | 2018-04-14 |
| | | | | | | | | | | 1. Handle escape sequence chars \t \n \r 2. Fail on unsupported escape characters. Instead of skipping \ on unsupported sequences it now fails. | ||
* | Import Json module from old Meta library (thanks to Edward Z. Yang for code ↵ | Adam Chlipala | 2016-08-26 |
contributions) |