diff options
Diffstat (limited to 'www/OpenProjects.html')
| -rw-r--r-- | www/OpenProjects.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/www/OpenProjects.html b/www/OpenProjects.html index 33888ba0..d4a01964 100644 --- a/www/OpenProjects.html +++ b/www/OpenProjects.html @@ -18,7 +18,7 @@ This page lists a variety of open projects that are natural (and tractable) extensions of KLEE and things that we would love to see people work on. If you are interested in tackling any of the projects, please mail - <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev</a> + <a href="klee-dev.html">klee-dev</a> with your ideas -- or even better, your patches!.</a> <ul> |