From 72010b02714429e5d8833dacb370813866394fcb Mon Sep 17 00:00:00 2001
From: maralorn <mail@maralorn.de>
Date: Thu, 29 Sep 2022 13:35:23 +0200
Subject: [PATCH] git ignore recorded profiles

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 78814b4..cb2ce71 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@ dist-newstyle
 .direnv
 .pre-commit-config.yaml
 result*
+bench/profile-run-*
\ No newline at end of file