diff options
author | Rogan Creswick <creswick@gmail.com> | 2013-07-02 17:43:52 -0700 |
---|---|---|
committer | Rogan Creswick <creswick@gmail.com> | 2013-07-02 17:43:52 -0700 |
commit | 9541b1e5dffef3162e8e4fdfc436009f6057a33d (patch) | |
tree | 094b8271fdad3ec66504fd2151dc09d63f1e5d40 /src/js/fiveui/js/ffcheck.js | |
parent | e166ed04bfe336f9e6340f7df1a50264f7d64622 (diff) | |
parent | 4e1f3f68a2e51f7841864bc1e74758629afee764 (diff) |
Merge branch 'master' of https://github.com/GaloisInc/FiveUI
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; -} |