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/fiveui/options.html | |
| parent | f56fe8d4e4b3a062951f687c71b54945802545c1 (diff) | |
Remove url-pat.js
Diffstat (limited to 'src/js/fiveui/options.html')
| -rw-r--r-- | src/js/fiveui/options.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/js/fiveui/options.html b/src/js/fiveui/options.html index 0115368..1d07eb1 100644 --- a/src/js/fiveui/options.html +++ b/src/js/fiveui/options.html @@ -39,7 +39,6 @@ <script src="js/update-manager.js"></script> <script src="js/utils.js"></script> <script src="js/rules.js"></script> - <script src="js/url-pat.js"></script> <script src="js/platform-ajax.js"></script> <script src="js/platform-options.js"></script> </head> |