From 7d48344a260daccd4a4255bd7e07ab232c7ba653 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 13 Aug 2013 17:04:24 -0700
Subject: [PATCH] README.md: point non-git users to gitweb

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
 
-- 
2.34.1