X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=README.md;h=e020ad42a6592762a06ea4b611b240de506e4b91;hb=7d48344a260daccd4a4255bd7e07ab232c7ba653;hp=a2458f43b755098a4644e1a8eda67ece24d1feb4;hpb=f7a2a9682e6edbf7db5b07d1022436fb0f7c5594;p=model-checker.git

diff --git a/README.md b/README.md
index a2458f4..e020ad4 100644
--- a/README.md
+++ b/README.md
@@ -37,7 +37,8 @@ Getting Started
 ---------------
 
 If you haven't done so already, you may download CDSChecker using
-[git](http://git-scm.com/):
+[git](http://git-scm.com/) (for those without git, snapshots can be found at the
+Gitweb URLs below):
 
       git clone git://demsky.eecs.uci.edu/model-checker.git