klee/klee.github.io — pull request #4 by delcypher (2014-11-18 10:05:25+00:00)
Title: Update getting started guide so that we tell people to use the right

version of uclibc (i.e. from github and not that disgusting tarball)

@ccadar Could you give me commit access to the klee.github.io repository, I tried to push directly and I was denied.