diff options
| author | Wilco Kusee <[email protected]> | 2020-07-19 14:26:51 +0100 |
|---|---|---|
| committer | Wilco Kusee <[email protected]> | 2020-07-19 14:26:51 +0100 |
| commit | e11006986ab1bfc770acb4047814f99f7ca6114f (patch) | |
| tree | 87fb9543a6d2ffff78fb3ef9f285683bb8c1fc53 /.gitignore | |
| parent | 130e7632acef435caa9bf56e7333e4c28c7dffc7 (diff) | |
Specify default adt representation for chalk integration
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions