Bob Lantz 2286ef4b36 Remove GRUB_TERMINAL=serial from /etc/default/grub ...

This is added because we install Ubuntu from a serial console.
Fixes #265

2014-01-24 15:44:49 -08:00

..

.bash_profile

Add bash_profile for VM build

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

build.py

Remove GRUB_TERMINAL=serial from /etc/default/grub

2014-01-24 15:44:49 -08:00

install-mininet-vm.sh

Allow specification of branch to install

2014-01-14 19:42:55 -08:00