From 4e3260df76571ee3be531a6d7c0c1b5c93a056a4 Mon Sep 17 00:00:00 2001
From: Patrick Simianer <p@simianer.de>
Date: Fri, 25 Apr 2014 15:25:34 +0200
Subject: merge,cleanup,rename

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

(limited to 'README.md')

diff --git a/README.md b/README.md
index 9293207..f43f61d 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,8 @@
-lampion
-=======
+rebol
+=====
 
 code for grounded SMT
+
+This has nothing to do with the programming language REBOL
+http://www.rebol.com/
+
-- 
cgit v1.2.3