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