diff options
| -rw-r--r-- | tvix/.gitignore | 1 | ||||
| -rw-r--r-- | tvix/eval/.gitignore | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/tvix/.gitignore b/tvix/.gitignore index f807dfa42c..93233dccf4 100644 --- a/tvix/.gitignore +++ b/tvix/.gitignore @@ -1,3 +1,4 @@ /target /result-* /result +target diff --git a/tvix/eval/.gitignore b/tvix/eval/.gitignore deleted file mode 100644 index ea8c4bf7f3..0000000000 --- a/tvix/eval/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/target |