diff options
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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: |