AndreasAc c3ba039a97 Remove unencrypted git protocol use (#1100) ...

Because Github removes support for unencrypted git protocol in March 2022, URLs in scripts are changed to use https.

See https://github.blog/2021-09-01-improving-git-protocol-security-github/ for details

2022-02-23 17:17:02 -08:00

..

.bash_profile

Add bash_profile for VM build

2010-03-24 05:20:12 -07:00

build.py

fix bootAndRun() (#1024)

2021-02-06 15:55:40 -08:00

install-mininet-vm.sh

Remove unencrypted git protocol use (#1100)

2022-02-23 17:17:02 -08:00