projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
README.md: use HTML URL, not PHP
[model-checker.git]
/
README.md
diff --git
a/README.md
b/README.md
index 8d70bf07bbd29db8250c674d6dbd1f21d7b24773..ba64e188ddbc956c0a941d83687ebc171c9bec1c 100644
(file)
--- 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: