##// END OF EJS Templates
Merge pull request #8399 from minrk/ext-dot...
Thomas Kluyver -
r21324:efd09c57 merge
parent child Browse files
Show More
@@ -743,7 +743,7 b' Message type: ``kernel_info_reply``::'
743 # mimetype for script files in this language
743 # mimetype for script files in this language
744 'mimetype': str,
744 'mimetype': str,
745
745
746 # Extension without the dot, e.g. 'py'
746 # Extension including the dot, e.g. '.py'
747 'file_extension': str,
747 'file_extension': str,
748
748
749 # Pygments lexer, for highlighting
749 # Pygments lexer, for highlighting
General Comments 0
You need to be logged in to leave comments. Login now