From f36f3c37ce3befa46aa63cac7c9f71b791691728 Mon Sep 17 00:00:00 2001
From: Andrea Oggioni <24810621+etabeta1@users.noreply.github.com>
Date: Wed, 11 Dec 2024 21:59:23 +0100
Subject: [PATCH] chore: remove useless file

---
 mermaid-filter.err | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 mermaid-filter.err

diff --git a/mermaid-filter.err b/mermaid-filter.err
deleted file mode 100644
index e69de29..0000000