##// END OF EJS Templates
add 'No Checkpoints' to Revert menu...
add 'No Checkpoints' to Revert menu when there are None, rather than an empty menu. closes #3261
MinRK -
r11117:16981617
Show More
Name Size Modified Last Commit Author
/ docs / man
ipcluster.1 Loading ...
ipcontroller.1 Loading ...
ipengine.1 Loading ...
iplogger.1 Loading ...
ipython.1 Loading ...
irunner.1 Loading ...
pycolor.1 Loading ...