From 5c6a736ae7366887563155089cc1cdb29155432e Mon Sep 17 00:00:00 2001
From: Alejandro Javier Asenjo Nitti <alejandro.asenjo88@gmail.com>
Date: Mon, 16 Oct 2023 10:13:31 -0300
Subject: [PATCH] remove unnecessary file

---
 symbol_addrs.txt | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 symbol_addrs.txt

diff --git a/symbol_addrs.txt b/symbol_addrs.txt
deleted file mode 100644
index e69de29b..00000000