Gildas c3a8bd2b92 renamed file vor 7 Jahren
..
config.js e5ebf574ca added "remove alternative fonts to woff" option vor 7 Jahren
core.js c3a8bd2b92 renamed file vor 7 Jahren
storage.js d9c9db1ec8 extracted storage.js from ui.js vor 7 Jahren