mininet/mininet — pull request #245 by yeasy (2013-11-15 09:37:20+00:00)
Title: Fix error wiki url.

The old url is invalid.