diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-13 11:12:38 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-13 11:12:38 -0700 |
| commit | 2243f840e7562022fe0f3c711d8b41f8550c69d2 (patch) | |
| tree | 5f5ff1079e06ea965421dbb8e2cd151dfcf57ae2 /src/js/firefox | |
| parent | f56fe8d4e4b3a062951f687c71b54945802545c1 (diff) | |
Remove url-pat.js
Diffstat (limited to 'src/js/firefox')
| -rw-r--r-- | src/js/firefox/build.mk | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/js/firefox/build.mk b/src/js/firefox/build.mk index 1807a45..0a20a80 100644 --- a/src/js/firefox/build.mk +++ b/src/js/firefox/build.mk @@ -58,8 +58,6 @@ quiet_cmd_compilejs = JSC $(call drop-prefix,$@) $(firefox-build)/data/main.js: \ $(firefox-dir)/lib/main.js \ $(fiveui-dir)/js/set.js \ - $(fiveui-dir)/js/url-pat.js \ - $(fiveui-dir)/js/url-pat.js \ $(fiveui-dir)/js/settings.js \ $(fiveui-dir)/js/messenger.js \ $(fiveui-dir)/js/state.js \ |