mininet/mininet — pull request #411 by cdburkard (2014-10-13 20:31:56+00:00)
Title: add cli usage information

fixes #107