##// END OF EJS Templates
Merge pull request #3733 from ivanov/pandoc-missing...
Merge pull request #3733 from ivanov/pandoc-missing Nicer message when pandoc is missing, closes #3730
Paul Ivanov -
r11627:53e0d8b6 merge
Show More