Commit 2a11016b1193f1526953c2635035297d6d094b51

Thomas de Grivel 2024-05-14T18:31:55

Computer-Modern -> Computer Modern

diff --git a/.gitmodules b/.gitmodules
index ac0f2be..06b01ce 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "Computer-Modern"]
-	path = Computer-Modern
+	path = Computer Modern
 	url = https://github.com/spratt/Computer-Modern.git
diff --git a/Computer Modern b/Computer Modern
new file mode 160000
index 0000000..478ef3d
--- /dev/null
+++ b/Computer Modern
@@ -0,0 +1 @@
+Subproject commit 478ef3d4716bea134f9fc5c14f9c976fda120ee5
diff --git a/Computer-Modern b/Computer-Modern
deleted file mode 160000
index 478ef3d..0000000
--- a/Computer-Modern
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 478ef3d4716bea134f9fc5c14f9c976fda120ee5