diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-11-13 17:47:08 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-11-13 17:47:08 +0000 |
| commit | e72b75e019e9f7ccfb222f164f335fc99bb90126 (patch) | |
| tree | 39e19d4c5533af0555b45b4ec8faa3c88c57af8e /README.md | |
| parent | dda80776744e8971c55bab212c8cf677337bef5e (diff) | |
| download | klee-e72b75e019e9f7ccfb222f164f335fc99bb90126.tar.gz | |
Fix broken webpage link in README.md
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md index 725b9b66..bbf9ebc9 100644 --- a/README.md +++ b/README.md @@ -22,4 +22,4 @@ environment that matches a computed test input, including setting up files, pipes, environment variables, and passing command line arguments. -For further information, see the [webpage](http://klee.github.io/klee/). +For further information, see the [webpage](http://klee.github.io/). |