##// END OF EJS Templates
Merge pull request #8131 from minrk/sort-help...
Merge pull request #8131 from minrk/sort-help handle undefined when sorting quick help
Thomas Kluyver -
r20838:befcaa9a merge
Show More