Gildas e1ee69dfa2 fixed border styles 6 years ago
..
bg d7e116fc2e fixed process cancellation 6 years ago
content 409392791d fixed conflict with Prototype.js in puppeteer 6 years ago
devtools f87ff5aca2 moved from "lib" to "extension/lib" code related to web extensions 6 years ago
pages e1ee69dfa2 fixed border styles 6 years ago
resources 99dfbc1d4a larger progress bar 7 years ago