From 3534f7776102d4236d799889a2f2cef0a8cb61ab Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Wed, 12 Nov 2014 18:31:10 -0800
Subject: [PATCH] Remove extra git clone line
---
INSTALL | 1 -
1 file changed, 1 deletion(-)
diff --git a/INSTALL b/INSTALL
index 40f0a967..b7f9efb6 100644
--- a/INSTALL
+++ b/INSTALL
@@ -60,7 +60,6 @@ like to contribute an installation script, we would welcome it!)
and then
- git clone git://github.com/mininet/mininet
git checkout <release tag>
where <release tag> is the release you want to check out.
--
GitLab