Skip to content

Update description of verificationTimeLimit preference#360

Open
keyboardDrummer wants to merge 2 commits intodafny-lang:masterfrom keyboardDrummer:verificationTimeLimitDescription
+1-1

Commits

Commits on Feb 27, 2023

Commits on Feb 28, 2023