diff options
author | Trevor Elliott <trevor@galois.com> | 2013-06-27 11:39:23 -0700 |
---|---|---|
committer | Trevor Elliott <trevor@galois.com> | 2013-06-27 11:39:23 -0700 |
commit | 4e1f3f68a2e51f7841864bc1e74758629afee764 (patch) | |
tree | 7bd1e191511552a487d2a8cc1a3559e606bf0ca0 /src/js/fiveui/js/ffcheck.js | |
parent | 9fd80fd1bd91e87eb85d4d8e73a6e4396092fbb6 (diff) |
Remove unused ffcheck.js
Diffstat (limited to 'src/js/fiveui/js/ffcheck.js')
-rw-r--r-- | src/js/fiveui/js/ffcheck.js | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/js/fiveui/js/ffcheck.js b/src/js/fiveui/js/ffcheck.js deleted file mode 100644 index 2157ed0..0000000 --- a/src/js/fiveui/js/ffcheck.js +++ /dev/null @@ -1,3 +0,0 @@ -if (! /Firefox[\/\s](\d+\.\d+)/.test(navigator.userAgent)) { - window.onload=fiveui.chrome.options.init; -} |