Remove the arbprec submodule
diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644
index 580c4fa..0000000
--- a/.gitmodules
+++ /dev/null
@@ -1,3 +0,0 @@
-[submodule "arbprec"]
-	path = arbprec
-	url = https://github.com/cmgraff/arbsh.git