diff options
| author | Jürgen Hahn <mail.jhahn@gmail.com> | 2023-01-04T11·43+0100 |
|---|---|---|
| committer | jrhahn <mail.jhahn@gmail.com> | 2023-01-04T12·10+0000 |
| commit | 79c05f38109d2eac07b9ba893b9b6f67fd34c29c (patch) | |
| tree | 8a493861b13340ce372779d27e239f194be29597 /.gcroots | |
| parent | 4d38e69adf962cb664b923d98dfb6bf658fc0819 (diff) | |
docs(feat/derivation): add docstring to formatter r/5579
This is just to clarify that the formatted result is the ATerm representation Change-Id: I98fd0b1d2daa3cf6fdbe526ae1e0bd100ff62df3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7742 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>
Diffstat (limited to '.gcroots')
0 files changed, 0 insertions, 0 deletions