Update invirt-base to version 0.0.35

Requested by quentin@ATHENA.MIT.EDU

diff --git a/invirt-base b/invirt-base
deleted file mode 100644 (file)
index 793f4566dd6c2fddcd6fb1c245d7d09e8fa7223d..0000000000000000000000000000000000000000
--- a/invirt-base
+++ /dev/null
@@ -1,3 +0,0 @@
-[submodule "invirt-base"]
-       path = invirt-base
-       url = ../packages/invirt-base.git

diff --git a/invirt-base b/invirt-base
new file mode 160000 (submodule)
index 0000000000000000000000000000000000000000..a710ad381fee21c84aa9a338400dfb298139989c
--- /dev/null
+++ b/invirt-base
@@ -0,0 +1 @@
+Subproject commit a710ad381fee21c84aa9a338400dfb298139989c