Gildas 3f6f52ac59 set "remove unused CSS rules" true by default hace 7 años
..
bg 1cfc2f3f0c fixed save selection hace 7 años
content 31033af1ee removed pointless directory hace 7 años
pages 3f6f52ac59 set "remove unused CSS rules" true by default hace 7 años
resources b5d84e0950 made the progress bar more visible hace 7 años