1 files changed, 6 insertions, 0 deletions
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):