chore: update to mdbook v0.4.25 (#331)

pull/333/head^2
Marco Ieni 1 year ago committed by GitHub
parent c91ffc78a4
commit 662e537971
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1 +1 @@
MDBOOK_VERSION=0.4.22
MDBOOK_VERSION=0.4.25

Loading…
Cancel
Save