##// END OF EJS Templates
don't merge App.extra_extension into App.extensions...
don't merge App.extra_extension into App.extensions setting both values could result in extra_extension being omitted from the list

File last commit:

r18586:7fbb095b
r20628:bb3a32f6
Show More
index.rst
13 lines | 167 B | text/x-rst | RstLexer

The IPython notebook