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