From 0630311e00113988fb29d5b0f02a88bd65aa5715 Mon Sep 17 00:00:00 2001 From: Jonathan Berrisch Date: Sun, 25 May 2025 12:40:17 +0200 Subject: [PATCH] Remove submodule --- .gitmodules | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 .gitmodules diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index e69de29..0000000