diff options
| -rw-r--r-- | www/latest_checker.html.incl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/www/latest_checker.html.incl b/www/latest_checker.html.incl index 056abce1f4..d537b8523b 100644 --- a/www/latest_checker.html.incl +++ b/www/latest_checker.html.incl @@ -1 +1 @@ -<b><a href="http://keeda.stanford.edu/~kremenek/checker/checker-86.tar.bz2">checker-86.tar.bz2</a></b> (built September 1, 2008)
\ No newline at end of file +<b><a href="http://keeda.stanford.edu/~kremenek/checker/checker-87.tar.bz2">checker-87.tar.bz2</a></b> (built September 1, 2008)
\ No newline at end of file |