aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorWilco Kusee <[email protected]>2020-07-19 14:26:51 +0100
committerWilco Kusee <[email protected]>2020-07-19 14:26:51 +0100
commite11006986ab1bfc770acb4047814f99f7ca6114f (patch)
tree87fb9543a6d2ffff78fb3ef9f285683bb8c1fc53 /.gitignore
parent130e7632acef435caa9bf56e7333e4c28c7dffc7 (diff)
Specify default adt representation for chalk integration
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions