diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 20:58:40 +0000 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 20:58:40 +0000 |
| commit | 3e4c252f982637b54719b427ac85ac3701d44abd (patch) | |
| tree | 7b433796d4d3fcb9647e0da0cafe89e5e4d62521 /html/display_panel/content/librejs-title-old.png | |
| parent | 0e004bf1a3c154b98a96494dc97ecba58b8162ed (diff) | |
| parent | 3bf972bafeac738301623db6b08bedfd476abeca (diff) | |
Merge #17 `Brand new settings UI to manage whitelist, blacklist and other preferences. `
Diffstat (limited to 'html/display_panel/content/librejs-title-old.png')
| -rw-r--r-- | html/display_panel/content/librejs-title-old.png | bin | 2673 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/html/display_panel/content/librejs-title-old.png b/html/display_panel/content/librejs-title-old.png Binary files differdeleted file mode 100644 index 8a11527..0000000 --- a/html/display_panel/content/librejs-title-old.png +++ /dev/null |
