diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-20T10·49+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-20T10·59+0000 |
commit | fe3c4720a6f3276b5652b61937fa2ad19763af82 (patch) | |
tree | 53fc0e242c7de22f3245f0465f778a97a46f41e0 /users/grfn/xanthous/src/Xanthous/App.hs | |
parent | f39a4e4fa711215e7ebbff72505d7f6e30bc26b4 (diff) |
chore(corp/tvixbolt): gitignore trunk's `dist` folder r/4935
Change-Id: Id9df1b33f0e4f9e54b186b2040ba30d9bcd27d54 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6708 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'users/grfn/xanthous/src/Xanthous/App.hs')
0 files changed, 0 insertions, 0 deletions