Gildas d1c5865d1f make sure the pending save is ended before a new save há 7 anos atrás
..
bg d1c5865d1f make sure the pending save is ended before a new save há 7 anos atrás
content 31033af1ee removed pointless directory há 7 anos atrás
pages 3f6f52ac59 set "remove unused CSS rules" true by default há 7 anos atrás
resources b5d84e0950 made the progress bar more visible há 7 anos atrás