diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2017-04-15 00:28:23 -0400 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2017-04-15 00:28:23 -0400 |
| commit | f67c589162250621df56087884794f1645878774 (patch) | |
| tree | e8ad61d90b71deb8ab9eca38659a8babf331ac29 /data/settings-android.js | |
| parent | 9c9f24054fa2d9b71fbb08afe9211eb054e083c4 (diff) | |
Hide plugindeprecation-notice, warnings on unsigned extensions, and extra links in about box
Diffstat (limited to 'data/settings-android.js')
0 files changed, 0 insertions, 0 deletions