diff options
| author | Florian Klink <flokli@flokli.de> | 2023-09-24T13·08+0300 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2023-09-24T17·05+0000 |
| commit | abef229791d61a8415d6708aa9ab5853dce5ee56 (patch) | |
| tree | 7bfcb2af11f314b22e67d80225cf78806481c9c7 /tools | |
| parent | ba3edc5638f656b73592a44151fd9341a5935031 (diff) | |
chore(tvix): add /*.sled to .gitignore r/6646
The README suggests putting state here for some examples, so let's make sure it doesn't cause a dirty worktree. Change-Id: I3a191f5b2681ef6937a03d3a9686ae0d7aebd76e Reviewed-on: https://cl.tvl.fyi/c/depot/+/9450 Autosubmit: flokli <flokli@flokli.de> Reviewed-by: Connor Brewster <cbrewster@hey.com> Tested-by: BuildkiteCI
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions