Export as HTML is not listed on the export GUI
@davidcl)
Reported by Clement DAVID (HOW TO REPRODUCE THE BUG:
-------------------------
edit a function
File -> Export
// look for HTML file type
OTHER INFORMATION:
------------------
HOW TO REPRODUCE THE BUG:
-------------------------
edit a function
File -> Export
// look for HTML file type
OTHER INFORMATION:
------------------