Gildas 7d8faa7630 enable remove frames options by default hace 7 años
..
bg 90a5deb8d9 merged compress CSS and HTML options hace 7 años
content 31033af1ee removed pointless directory hace 7 años
pages 7d8faa7630 enable remove frames options by default hace 7 años
resources b5d84e0950 made the progress bar more visible hace 7 años