Skip to content

Remove outdated information from the README#503

Open
keyboardDrummer wants to merge 1 commit intodafny-lang:masterfrom keyboardDrummer:updateReadme
+1-1

Commits

Commits on Oct 9, 2024