diff options
author | Yorick van Pelt <yorick@yorickvanpelt.nl> | 2020-01-09T16·38+0100 |
---|---|---|
committer | glittershark <grfn@gws.fyi> | 2020-11-27T17·02+0000 |
commit | b595553f6311a1b278d937d0aafd070767ed363b (patch) | |
tree | 8c71c26f57c99f922c2aa13dee415408e37b9d9c /third_party/immer/tools | |
parent | de44fdf92a65c25f2aba6a445287a4572a8837cc (diff) |
feat(tvix): builtins.fromJSON: use nlohmann/json parser instead of custom parser r/1924
backported from upstream at f1fac0b5c3b75efab781949fdff2b67ffdda2cb3 Change-Id: I788e3a9b930351118a5f248b356c351afd7f5391 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2138 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
Diffstat (limited to 'third_party/immer/tools')
0 files changed, 0 insertions, 0 deletions