##// END OF EJS Templates
Merge pull request #5844 from jdfreder/scrollmanager...
Merge pull request #5844 from jdfreder/scrollmanager 'Paul' scroll feature

File last commit:

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