Merge pull request #15 from odersky/lean-scala-5

back to minima theme
odersky · Apr 12, 2024 · bd1fcb2 · bd1fcb2
2 parents ecb8708 + e157f41
commit bd1fcb2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/_config.yml b/_config.yml
@@ -1,4 +1,4 @@
-remote_theme: pages-themes/[email protected]
+theme: minima
 author: Martin Odersky
 title: Language and Code