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