##// END OF EJS Templates
Merge pull request #6706 from jhamrick/display-prompt-numbers...
Merge pull request #6706 from jhamrick/display-prompt-numbers Correctly display prompt numbers that are 'None'
Thomas Kluyver -
r18350:ecca4c58 merge
Show More