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