From f95c4a47123a91a6ff9d0cd2b439eda6f87d687d Mon Sep 17 00:00:00 2001
From: Bob <rlantz@cs.stanford.edu>
Date: Sun, 2 Dec 2012 15:00:46 -0800
Subject: [PATCH] Update INSTALL: git clone from github.com

Thanks to @xdhanz for the catch, and pull request
closes #84
---
 INSTALL | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/INSTALL b/INSTALL
index 9168bd7..6aaac7e 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,4 +1,3 @@
-
 Mininet Installation/Configuration Notes
 
 Mininet 2.0.0
@@ -45,7 +44,7 @@ remove the old OVS from /usr/local:
 If you're reading this, you've probably already done so, but the command to
 download the Mininet source code is;
    
-  git clone git://openflow.org/mininet.git
+  git clone git://github.com/mininet/mininet.git
 
 If you are running Ubuntu, you may be able to use our handy install.sh script,
 which is in mininet/util.