diff options
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 59e1460fefc..c604747a0da 100644 --- a/.gitignore +++ b/.gitignore | |||
| @@ -133,6 +133,7 @@ | |||
| 133 | /pre-inst-env | 133 | /pre-inst-env |
| 134 | /release-* | 134 | /release-* |
| 135 | /scripts/guix | 135 | /scripts/guix |
| 136 | /t-*/ | ||
| 136 | /test-env | 137 | /test-env |
| 137 | /test-tmp | 138 | /test-tmp |
| 138 | /tests/*.trs | 139 | /tests/*.trs |