Skip to content

Commit

Permalink
Fix the book script (#8)
Browse files Browse the repository at this point in the history 
Fix the book script and add a little blob to the Kani page.
  • Loading branch information
@celinval
celinval authored Jun 4, 2024
1 parent c9653b7 commit dc3222b
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit dc3222b

Please sign in to comment.