Gildas 39d27d9531 redesigned options page 7 years ago
..
core 03ae94249a separated compress CSS and compress HTML options 7 years ago
ui 39d27d9531 redesigned options page 7 years ago
index.js 6e5e2e46fe fixed same kind of (strange) bug for Firefox... 7 years ago