From abf19641beac7f91b6ef8f778cc7e92dd501bc95 Mon Sep 17 00:00:00 2001 From: "Adam C. Foltzer" Date: Mon, 8 Dec 2014 17:30:32 -0800 Subject: [PATCH] small tweak to readme wording --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index acde5a70..a77cf628 100644 --- a/README.md +++ b/README.md @@ -156,7 +156,7 @@ send email to . If you'd like to get involved with Cryptol development, see the list of [low-hanging fruit](https://github.com/GaloisInc/cryptol/labels/low-hanging%20fruit). These -are tasks which should be quite straightforward to implement. Make a +are tasks which should be straightforward to implement. Make a fork of this GitHub repository and send along pull requests, and we'll be happy to incorporate your changes.