diff options
| author | Stephen Blott | 2015-06-01 11:35:51 +0100 |
|---|---|---|
| committer | Stephen Blott | 2015-06-01 11:35:53 +0100 |
| commit | 0f90453d269c5f8ab700123aa356a3d41026d925 (patch) | |
| tree | 07fbf1e236211552eda8befb822ca336a32bf03b /pages/options.html | |
| parent | 5f0400ebac5867df74225b987ea1238bdaeb40b2 (diff) | |
| download | vimium-0f90453d269c5f8ab700123aa356a3d41026d925.tar.bz2 | |
Eliminate possibility of race condition.
See newly-added long comment for details.
Diffstat (limited to 'pages/options.html')
| -rw-r--r-- | pages/options.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pages/options.html b/pages/options.html index b14c454f..441bd9da 100644 --- a/pages/options.html +++ b/pages/options.html @@ -3,7 +3,6 @@ <title>Vimium Options</title> <link rel="stylesheet" type="text/css" href="options.css"> <script src="content_script_loader.js"></script> - <script type="text/javascript" src="../lib/settings.js"></script> <script type="text/javascript" src="options.js"></script> </head> |