Gildas b5d84e0950 made the progress bar more visible 7 years ago
..
core be15313744 added "remove HTML imports" option 7 years ago
ui b5d84e0950 made the progress bar more visible 7 years ago
index.js 6e5e2e46fe fixed same kind of (strange) bug for Firefox... 7 years ago