From 3b1e5717c5784ee0e7a0be327e2c555b8a144a93 Mon Sep 17 00:00:00 2001 From: rdanecek <danekradek@gmail.com> Date: Mon, 13 Feb 2023 19:40:33 +0100 Subject: [PATCH] Add spectre as submodule --- external/spectre | 1 + 1 file changed, 1 insertion(+) create mode 160000 external/spectre diff --git a/external/spectre b/external/spectre new file mode 160000 index 00000000..bdc235b4 --- /dev/null +++ b/external/spectre @@ -0,0 +1 @@ +Subproject commit bdc235b49b0c3aafa1c9f05379f8e415047abf0d -- GitLab