Skip to content

Commit

Permalink
Update book.toml (#25)
Browse files Browse the repository at this point in the history
  • Loading branch information
@jcp19
jcp19 authored Jan 8, 2025
1 parent f765d7e commit 77207aa
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion book.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ authors = ["Ali Gottschall", "João Pereira"]
language = "en"
multilingual = false
src = "src"
title = "Practical Program Verification in Go with Gobra"
title = "Practical Program Verification in Go with Gobra (alpha)"

[output.html]
theme = "theme"
Expand Down

0 comments on commit 77207aa

Please sign in to comment.