From 5b3b5de27384519d93734e353823b88f6acda16b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Moussouni=2C=20Ya=C3=ABl?= Date: Tue, 7 Oct 2025 09:56:16 +0200 Subject: [PATCH] 2025-10-07: Removed db from git --- .gitignore | 1 + db/saved.txt | 6 ------ 2 files changed, 1 insertion(+), 6 deletions(-) delete mode 100644 db/saved.txt diff --git a/.gitignore b/.gitignore index 12048e4..52377e1 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,4 @@ venv/ .venv/ filters/ *.secret +db/ diff --git a/db/saved.txt b/db/saved.txt deleted file mode 100644 index 146119f..0000000 --- a/db/saved.txt +++ /dev/null @@ -1,6 +0,0 @@ -2509.15307v1 -2509.15337v1 -2509.15720v1 -2509.16168v1 -2509.18650v1 -2509.19068v1