From ee71ad5a11f3ecb22a313e379090f29c9037a9b0 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 4 Oct 2012 12:32:15 -0700
Subject: [PATCH] Added simple file

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 experiment.txt | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 experiment.txt

diff --git a/experiment.txt b/experiment.txt
new file mode 100644
index 000000000..fd3556af7
--- /dev/null
+++ b/experiment.txt
@@ -0,0 +1 @@
+Small file added to the experiment branch.