| .. |
|
bg
|
14bd405120
added "auto-close the tab after the page is saved" option (fix #185)
|
6 years ago |
|
content
|
21223bb19f
removed unnecessary parameter
|
6 years ago |
|
devtools
|
f2c47e7fce
moved from "lib" to "extension/lib" code related to web extensions
|
6 years ago |
|
pages
|
f2c47e7fce
moved from "lib" to "extension/lib" code related to web extensions
|
6 years ago |
|
resources
|
99dfbc1d4a
larger progress bar
|
7 years ago |
Gildas