Merge pull request #27 from model-checking/remove-multilingual

tautschnig · web-flow · commit e4344f4cce79 · 2025-12-10T11:52:01.000+01:00
Remove unused "multilingual" field
diff --git a/docs/book.toml b/docs/book.toml
@@ -1,6 +1,5 @@
 [book]
 authors = ["Mark R. Tuttle"]
 language = "en"
-multilingual = false
 src = "src"
 title = "CBMC Proof Debugger"
