aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/program_verification.md (unfollow)
Commit message (Expand)AuthorFilesLines
2021-07-10Made the "try" macro into a common one, instead of a host-specific one.Eduardo Julian1-0/+4