From: Brian Norris <banorris@uci.edu>
Date: Thu, 15 Aug 2013 19:04:59 +0000 (-0700)
Subject: README.md: use HTML URL, not PHP
X-Git-Tag: oopsla2015~10^2
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=1f2a30ddc8f38f3f45d62d169b766c0c38364ecd

README.md: use HTML URL, not PHP
---

diff --git a/README.md b/README.md
index 8d70bf0..ba64e18 100644
--- a/README.md
+++ b/README.md
@@ -376,7 +376,7 @@ See Also
 
 The CDSChecker project page:
 
->   <http://demsky.eecs.uci.edu/c11modelchecker.php>
+>   <http://demsky.eecs.uci.edu/c11modelchecker.html>
 
 The CDSChecker source and accompanying benchmarks on Gitweb: