rename webext to webext-hybrid

This commit is contained in:
gorhill 2017-08-04 17:59:30 -04:00
parent e359afdd38
commit 8393e77ab0
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2
3 changed files with 1 additions and 0 deletions

View File

@ -4,6 +4,7 @@ env:
matrix: matrix:
- BROWSER=chromium EXT=zip - BROWSER=chromium EXT=zip
- BROWSER=firefox EXT=xpi - BROWSER=firefox EXT=xpi
- BROWSER=webext-hybrid EXT=xpi
- BROWSER=webext EXT=xpi - BROWSER=webext EXT=xpi
script: ./tools/make-${BROWSER}.sh all script: ./tools/make-${BROWSER}.sh all
deploy: deploy: