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 /build.sh | |
parent | 0e004bf1a3c154b98a96494dc97ecba58b8162ed (diff) | |
parent | 3bf972bafeac738301623db6b08bedfd476abeca (diff) |
Merge #17 `Brand new settings UI to manage whitelist, blacklist and other preferences. `
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -12,6 +12,7 @@ mkdir ./build_temp cp -r icons ./build_temp cp -r ./html ./build_temp cp -r ./content ./build_temp +cp -r ./common ./build_temp cp manifest.json ./build_temp cp contact_finder.js ./build_temp cp bundle.js ./build_temp |