diff --git a/.gitmodules b/.gitmodules index cfb39772220..b46c025a806 100644 --- a/.gitmodules +++ b/.gitmodules @@ -10,9 +10,6 @@ [submodule "M2/submodules/bdwgc"] path = M2/submodules/bdwgc url = https://github.com/Macaulay2/bdwgc.git -[submodule "M2/submodules/libatomic_ops"] - path = M2/submodules/libatomic_ops - url = https://github.com/Macaulay2/libatomic_ops.git [submodule "M2/submodules/mpir"] path = M2/submodules/mpir url = https://github.com/Macaulay2/mpir.git diff --git a/M2/submodules/libatomic_ops b/M2/submodules/libatomic_ops deleted file mode 160000 index ba6c3170412..00000000000 --- a/M2/submodules/libatomic_ops +++ /dev/null @@ -1 +0,0 @@ -Subproject commit ba6c3170412ef7f751ff63e2b656296265dcff93