diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-02-26 00:11:16 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-02-26 00:11:16 +0000 |
| commit | 1efb4b23232930a80cfe7b5a849e42b9919f3ad6 (patch) | |
| tree | 14bdf1c694ea58eb8b04df65afa99854d6001aed /www/index.html | |
| parent | c816be95f57766455f9d4175dde8622cdb3f8c41 (diff) | |
| download | klee-1efb4b23232930a80cfe7b5a849e42b9919f3ad6.tar.gz | |
Test commit.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@97190 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/index.html')
| -rw-r--r-- | www/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/www/index.html b/www/index.html index e789bf56..fe4e2bb1 100644 --- a/www/index.html +++ b/www/index.html @@ -29,6 +29,7 @@ <!-- <p>FIXME: Somewhere need to describe what KLEE can do well and what is more "experimental" or research level. This should also address how KLEE could be used by outside groups (i.e. kleaver).</p> --> + </div> </body> </html> |