diff options
| author | Jonas Schievink <[email protected]> | 2021-04-06 16:59:18 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2021-04-06 16:59:18 +0100 |
| commit | e9752308bbaa2fd720e1eeaca970977fe22514d1 (patch) | |
| tree | b391af28f6bfaee53effcc64aeab325e95b5b461 /docs/user | |
| parent | 74711deb724e0a6c84a221bfdfa15eaedbdb2300 (diff) | |
infer: remove `record_field_resolutions` field
It stores no useful data, since we can derive all fields from
`variant_resolutions`
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions