##// 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

File last commit:

r2732:60cab731
r11117:16981617
Show More
__init__.py
2 lines | 78 B | text/x-python | PythonLexer
# -*- coding: utf-8 -*-
"""This directory is meant for IPython extensions."""