From 2ec715a7e08724e54cd8c14904446d1b91b42121 Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <peter@pcc.me.uk>
Date: Fri, 22 Apr 2011 12:16:36 +0000
Subject: Add a note about the git mirror

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@129989 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/GetStarted.html | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'www/GetStarted.html')

diff --git a/www/GetStarted.html b/www/GetStarted.html
index 76e741c8..0f109a99 100644
--- a/www/GetStarted.html
+++ b/www/GetStarted.html
@@ -62,6 +62,12 @@ targets.<p>
     <div class="instr">
       $ svn co http://llvm.org/svn/llvm-project/klee/trunk klee
     </div>
+      Alternatively, if you prefer to use git there is also a
+      read-only git mirror, which syncs automatically with each
+      Subversion commit. You can do a git clone of KLEE via:
+    <div class="instr">
+      $ git clone http://llvm.org/git/klee.git
+    </div>
   </li>
   
   <li>Configure KLEE (from the KLEE source directory): 
-- 
cgit 1.4.1