diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-19 14:37:35 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-19 14:37:35 +0100 |
| commit | 09fab42d39e69c94a4a4b7f5ae5ad10005290bf2 (patch) | |
| tree | 87fb9543a6d2ffff78fb3ef9f285683bb8c1fc53 /docs/user | |
| parent | 130e7632acef435caa9bf56e7333e4c28c7dffc7 (diff) | |
| parent | e11006986ab1bfc770acb4047814f99f7ca6114f (diff) | |
Merge #5437
5437: Specify default adt representation for chalk integration r=flodiebold a=detrumi
Turns out that using the .chalk writer infra causes this line being hit, so let's just return the default representation for now.
Co-authored-by: Wilco Kusee <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions