mininet/mininet — pull request #288 by rlane (2014-03-15 17:52:56+00:00)
Title: persistent command history

Saves readline history to ~/.mininet_history.