From 87eb483a73bd2af1ab9a989e9002c1093988d927 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Mon, 20 Jun 2016 04:08:16 -0400
Subject: readme: dont say things I am not sure of

---
 README.md | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 91a6c8142..141cff4af 100644
--- a/README.md
+++ b/README.md
@@ -1,11 +1,8 @@
 Fiat-Crypto: Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives
 -----
 
-... which would make a good paper title.
-
 NOTE: The gibhub.com repo is only intermittently synced with
-github.mit.edu. If you're in CSAIL, you should pull from the
-github.mit.edu repo.
+github.mit.edu.
 
 To build:
 
-- 
cgit v1.2.3