diff options
| author | Patrick Simianer <p@simianer.de> | 2014-04-25 15:25:34 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2014-04-25 15:25:34 +0200 |
| commit | 4e3260df76571ee3be531a6d7c0c1b5c93a056a4 (patch) | |
| tree | 02f5e04e32215f6c7bccf31aa45fc21325cfab9c /README.md | |
| parent | 62a5ea36c1e678809a0557e67ec08f6a58252a24 (diff) | |
merge,cleanup,rename
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -1,4 +1,8 @@ -lampion -======= +rebol +===== code for grounded SMT + +This has nothing to do with the programming language REBOL +http://www.rebol.com/ + |