From 3ec21c64b3682465ca8e159a187689b207c71de4 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Tue, 8 Jan 2019 01:59:52 -0500
Subject: move src/Experiments/NewPipeline/ to src/

---
 README.md | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 3411f047d..0215e2e2c 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,14 @@
-[![Build Status](https://api.travis-ci.org/mit-plv/fiat-crypto.png?branch=master)](https://travis-ci.org/mit-plv/fiat-crypto)
-
 Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
 =====
 
+[![Build Status](https://api.travis-ci.org/mit-plv/fiat-crypto.png?branch=master)](https://travis-ci.org/mit-plv/fiat-crypto)
+
+See [src/README.md](src/README.md).
+
+OLD PIPELINE README BELOW
+=========================
+
+
 Build Requirements
 -----
 This repository requires:
-- 
cgit v1.2.3