git ignore recorded profiles

This commit is contained in:
maralorn 2022-09-29 13:35:23 +02:00
parent 238a64113d
commit 72010b0271
1 changed files with 1 additions and 0 deletions

1
.gitignore vendored
View File

@ -2,3 +2,4 @@ dist-newstyle
.direnv
.pre-commit-config.yaml
result*
bench/profile-run-*