add UTF-8 tag to HTML export (fixes #1624)#1639
Merged
Rokt33r merged 1 commit intoBoostIO:masterfrom Mar 6, 2018
dtgay:add-charset-to-html-export
Merged
add UTF-8 tag to HTML export (fixes #1624)#1639Rokt33r merged 1 commit intoBoostIO:masterfrom dtgay:add-charset-to-html-export
Rokt33r merged 1 commit intoBoostIO:masterfrom
dtgay:add-charset-to-html-export
Commits
Commits on Mar 6, 2018
- committed
David Gay