Fix version history formatting in README

verus-lang · May 14, 2024 · 1d7c884 · 1d7c884
1 parent 67e4307
commit 1d7c884
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -110,7 +110,6 @@ The client's output will primarily consist of reports of the form `#req
 
 We haven't implemented crash recovery, so if you restart a server its state will
 be empty.
-```
 
 # Version History
 - v0.1:  Initial code release