ipython/ipython — pull request #3513 by minrk (2013-07-02 17:38:17+00:00)
Title: add 'No Checkpoints' to Revert menu

when there are None, rather than an empty menu.

closes #3261