From 4a5c8d1ba311cd55a7b7914459ef591342f08dd9 Mon Sep 17 00:00:00 2001 From: adrienbanse Date: Mon, 4 Mar 2024 09:22:59 +0100 Subject: [PATCH] delete empty folder --- Dionysos.jl | 1 - 1 file changed, 1 deletion(-) delete mode 160000 Dionysos.jl diff --git a/Dionysos.jl b/Dionysos.jl deleted file mode 160000 index de849a593..000000000 --- a/Dionysos.jl +++ /dev/null @@ -1 +0,0 @@ -Subproject commit de849a593d1be30840e9be25521e563d1d7e82bd