| .. |
|
bg
|
84d770e753
added "auto-close the tab after the page is saved" option (fix #185)
|
6 years ago |
|
content
|
1a81ade090
moved infobar scripts into "/common"
|
6 years ago |
|
devtools
|
f87ff5aca2
moved from "lib" to "extension/lib" code related to web extensions
|
6 years ago |
|
pages
|
f87ff5aca2
moved from "lib" to "extension/lib" code related to web extensions
|
6 years ago |
|
resources
|
99dfbc1d4a
larger progress bar
|
7 years ago |
Gildas