blitzmann dd78a41171 Fix HTML export (more encoding stuff). Also fix old bug in which unicode fit names don't display correctly in the webbrowser. #1411

2018-02-23 00:13:14 -05:00

11 KiB

Raw Blame History

View Raw