mininet/mininet — pull request #171 by vitalivanov (2013-07-15 12:27:22+00:00)
Title: Dev

Cleanups after first look at mininet repo.
First two commits are cosmetic changes.