Merge branch 'mpm_23' into mpm_23

rhodrin · Oct 17, 2023 · 242623d · 242623d
2 parents b11dd96 + b205810
commit 242623d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,4 +1,5 @@
 # CI MPM
 Toy repo with some simple functions for the CI lecture
 
-Trivial change. 2.
+Trivial change. 2.
+