regent: Update RDIR URL.

elliottslaughter · elliottslaughter · commit 9381cd25bc92 · 2018-05-16T11:30:27.000-07:00
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "language/src/rdir"]
 	path = language/src/rdir
-	url = ../rdir.git
+	url = https://github.com/StanfordLegion/rdir.git
