From 8c3f05ce7a9af2e38851d3ce183664090bdd8795 Mon Sep 17 00:00:00 2001 From: probonopd Date: Sat, 5 Feb 2022 16:35:37 +0000 Subject: [PATCH] Mirror from https://github.com/rsta2/circle/issues/274#issuecomment-1029392371, thanks @rsta2 --- .gitmodules | 3 +++ circle-stdlib | 1 + 2 files changed, 4 insertions(+) create mode 100644 .gitmodules create mode 160000 circle-stdlib diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..09ed00d --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "circle-stdlib"] + path = circle-stdlib + url = https://github.com/smuehlst/circle-stdlib diff --git a/circle-stdlib b/circle-stdlib new file mode 160000 index 0000000..47d9deb --- /dev/null +++ b/circle-stdlib @@ -0,0 +1 @@ +Subproject commit 47d9deb580f3d91201c2e275d3412abfbafdf156