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 /tvix | |
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 'tvix')
-rw-r--r-- | tvix/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tvix/.gitignore b/tvix/.gitignore index 93233dccf4d3..e047e8af4001 100644 --- a/tvix/.gitignore +++ b/tvix/.gitignore @@ -2,3 +2,5 @@ /result-* /result target + +/*.sled |