Remove extra git clone line

2014-11-12 18:31:10 -08:00
parent 64bbaeccc4
commit 3534f77761
1 changed files with 0 additions and 1 deletions
@@ -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.