From 6899dc29870bdf4e7c7073476f520bfb8f6741e7 Mon Sep 17 00:00:00 2001
From: Andrew Belt <andrewpbelt@gmail.com>
Date: Mon, 8 Jul 2019 10:49:50 -0700
Subject: [PATCH] Rename rjmodules to RJModules. Update RJModules.

---
 .gitmodules                    | 2 +-
 repos/{rjmodules => RJModules} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename repos/{rjmodules => RJModules} (100%)

diff --git a/.gitmodules b/.gitmodules
index ea9a5d5c..23b7ff07 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -58,7 +58,7 @@
 	url = https://github.com/phdsg/PvC.git
 	branch = release
 [submodule "repos/RJModules"]
-	path = repos/rjmodules
+	path = repos/RJModules
 	url = https://github.com/Miserlou/RJModules
 	branch = master
 [submodule "repos/TheXOR"]
diff --git a/repos/rjmodules b/repos/RJModules
similarity index 100%
rename from repos/rjmodules
rename to repos/RJModules