Merge pull request #13 from odersky/lean-scala-3

dinky theme
odersky · Apr 12, 2024 · d7381de · d7381de
2 parents 04eeb85 + 1e030ff
commit d7381de
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/cayman@v0.2.0
+remote_theme: pages-themes/dinky@v0.2.0
 author: Martin Odersky
 title: Language and Code