Gildas 25c8200a3d convert usedFonts into Array when finished před 6 roky
..
doc-helper.js 25c8200a3d convert usedFonts into Array when finished před 6 roky
doc-util.js 59ca7117d0 improved performances of doc pre-processing před 6 roky