| .. |
|
bg
|
765410a2e0
ddded button to remove external elements (fix #506)
|
5 years ago |
|
content
|
1b8ff5564b
Use negative outline-width for selections (fix #507)
|
5 years ago |
|
devtools
|
49e6d1a17d
updated copyright date
|
6 years ago |
|
pages
|
c1c2cda05f
fixed visibility of icons (see #506)
|
5 years ago |
|
resources
|
765410a2e0
ddded button to remove external elements (fix #506)
|
5 years ago |
|
index.js
|
49e6d1a17d
updated copyright date
|
6 years ago |
Gildas