From 98f57f4fd10e846ad9c568378e951a66bf4dce9e Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Mon, 20 Jun 2016 04:39:21 -0400 Subject: readme typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 141cff4af..5b6c7b418 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@ Fiat-Crypto: Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives ----- -NOTE: The gibhub.com repo is only intermittently synced with +NOTE: The github.com repo is only intermittently synced with github.mit.edu. To build: -- cgit v1.2.3