From ca9a40e255f454d1d0a2a046ab0164245d9a3438 Mon Sep 17 00:00:00 2001 From: Robin Mueller Date: Mon, 6 Dec 2021 12:55:05 +0100 Subject: [PATCH] renamed submodule --- .gitmodules | 2 +- va108xx-rs => va108xx | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename va108xx-rs => va108xx (100%) diff --git a/.gitmodules b/.gitmodules index 102e48e..5dc6b49 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,5 +1,5 @@ [submodule "va108xx-rs"] - path = va108xx-rs + path = va108xx url = https://egit.irs.uni-stuttgart.de/rust/va108xx [submodule "vorago-reb1-rs"] path = vorago-reb1-rs diff --git a/va108xx-rs b/va108xx similarity index 100% rename from va108xx-rs rename to va108xx