language を ja に設定する

lean-ja · Oct 31, 2023 · 7d2459f · 7d2459f
1 parent 9f21ec9
commit 7d2459f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/book.toml b/book.toml
@@ -1,6 +1,6 @@
 [book]
 authors = ["Seasawher"]
-language = "en"
+language = "ja"
 multilingual = false
 src = "src"
 title = "Lean4 タクティク逆引きリスト"