diff options
| author | Profpatsch <mail@profpatsch.de> | 2024-10-05T12·22+0200 |
|---|---|---|
| committer | Profpatsch <mail@profpatsch.de> | 2024-10-05T13·49+0000 |
| commit | 8c7372406ea712161b1b7ebc14c377d4dac3b4f1 (patch) | |
| tree | 7019090f6d1dec2404042e126d3d892ecfdbc972 /users/Profpatsch/whatcd-resolver/src/Optional.hs | |
| parent | f4d2d3ccece96c14e0f5dfcfe8515756029e650d (diff) | |
chore(users/Profpatsch/my-prelude): vendor pa-json r/8774
Want to be able to make changes with low overhead, and having it in a separate library is just annoying. Change-Id: I30b76885d8e0e6ebaefe9506cf36672783ed4988 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12577 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
Diffstat (limited to 'users/Profpatsch/whatcd-resolver/src/Optional.hs')
0 files changed, 0 insertions, 0 deletions