 Gildas
|
a180171b61
moved infobar scripts into "/common"
|
6 years ago |
|
Gildas
|
7eec0a6b29
move lib files to the top
|
6 years ago |
|
Gildas
|
a6fdd1a39e
removed /index.js
|
6 years ago |
|
Gildas
|
f2c47e7fce
moved from "lib" to "extension/lib" code related to web extensions
|
6 years ago |
|
Gildas
|
db876da310
bump version
|
6 years ago |
|
Gildas
|
669e1d896b
bump version
|
6 years ago |
|
Gildas
|
f61bd2ab08
bump version
|
6 years ago |
|
Gildas
|
92ed192c58
bump version
|
6 years ago |
|
Gildas
|
dbb863ba81
save changes made from Chrome devtools (cf. issue #244)
|
6 years ago |
|
Gildas
|
72a6e465e4
bump version
|
6 years ago |
|
Gildas
|
266eda7c8c
added "content-ui-infobar.js" in web_accessible_resources
|
6 years ago |
|
Gildas
|
54e8cf5fa4
added option to include the infobar in saved pages (fix #243)
|
6 years ago |
|
Gildas
|
7faeabca32
bump version
|
6 years ago |
|
Gildas
|
020b717247
bump version
|
6 years ago |
|
Gildas
|
fdde0dea59
bump version
|
6 years ago |
|
Gildas
|
b4f0af6aa8
bump version
|
6 years ago |
|
Gildas
|
4c7f31fdca
bump version
|
6 years ago |
|
Gildas
|
1b38352e4c
bump version
|
6 years ago |
|
Gildas
|
60d2c4c349
bump version
|
6 years ago |
|
Gildas
|
32a53e9482
bump version
|
6 years ago |
|
Gildas
|
da0af21e62
bump version
|
6 years ago |
|
Gildas
|
e4c3f1788a
bump version
|
6 years ago |
|
Gildas
|
42ced68360
bump version
|
6 years ago |
|
Gildas
|
ee4c7f722e
bump version
|
6 years ago |
|
Gildas
|
b26ec70872
bump version
|
6 years ago |
|
Gildas
|
136941899b
bump version
|
6 years ago |
|
Gildas
|
bfc0a9e097
bump version
|
6 years ago |
|
Gildas
|
8f0c8e8eaa
bump version
|
6 years ago |
|
Gildas
|
c39de7b568
bump version
|
6 years ago |
|
Gildas
|
d908422ee5
bump version
|
6 years ago |
