From 4e1f3f68a2e51f7841864bc1e74758629afee764 Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Thu, 27 Jun 2013 11:39:23 -0700
Subject: Remove unused ffcheck.js

---
 src/js/fiveui/js/ffcheck.js | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 src/js/fiveui/js/ffcheck.js

(limited to 'src')

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;
-}
-- 
cgit v1.2.3