mininet/mininet — pull request #254 by sieben (2013-12-20 13:53:26+00:00)
Title: fixup: unresolved_references

Remove useless imports