| .. |
|
bg
|
84d770e753
added "auto-close the tab after the page is saved" option (fix #185)
|
vor 6 Jahren |
|
content
|
7fde2e37de
removed unnecessary parameter
|
vor 6 Jahren |
|
devtools
|
f87ff5aca2
moved from "lib" to "extension/lib" code related to web extensions
|
vor 6 Jahren |
|
pages
|
f87ff5aca2
moved from "lib" to "extension/lib" code related to web extensions
|
vor 6 Jahren |
|
resources
|
99dfbc1d4a
larger progress bar
|
vor 7 Jahren |
Gildas