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