diff options
author | Yorick van Pelt <yorick@yorickvanpelt.nl> | 2020-01-09T21·46+0100 |
---|---|---|
committer | glittershark <grfn@gws.fyi> | 2020-11-27T19·59+0000 |
commit | 89f1489916b0b727a13ddf49ec90d00616454c65 (patch) | |
tree | de6a97608ddfb4ea208c16e88a8bdbc6a0b91779 /third_party/gitignoreSource/default.nix | |
parent | 83e586a6f21ca3042be1bb71c20e7823902ce333 (diff) |
refactor(tvix): json-to-value: use unique_ptr instead of raw pointers r/1937
Backported from upstream at a350d0beb0e13d0f58698510bd6a96d894cd06fd Change-Id: Ib486bc1b36ef65041fab1a4634a0a82e13036fd4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2139 Tested-by: BuildkiteCI Reviewed-by: andi <andi@notmuch.email>
Diffstat (limited to 'third_party/gitignoreSource/default.nix')
0 files changed, 0 insertions, 0 deletions