diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-07-16 14:59:45 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-07-16 14:59:45 -0700 |
| commit | f1d4987e44a5ba3e66bf724d264ef2a57b82b775 (patch) | |
| tree | 92b0bb138bc8a15cf550dea0957b56d1432f2732 /src/js/tests/SpecRunner.html | |
| parent | 9d0ce00fb2421d32643455c60df6822cd11b27b4 (diff) | |
| parent | e089832e50c87a79a9872009fd47231473d81b7a (diff) | |
Merge branch 'master' into new-ui
Diffstat (limited to 'src/js/tests/SpecRunner.html')
| -rw-r--r-- | src/js/tests/SpecRunner.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/js/tests/SpecRunner.html b/src/js/tests/SpecRunner.html index 606967e..caf0248 100644 --- a/src/js/tests/SpecRunner.html +++ b/src/js/tests/SpecRunner.html @@ -24,6 +24,7 @@ <script type="text/javascript" src="../fiveui/js/settings.js"></script> <script type="text/javascript" src="../fiveui/js/state.js"></script> <script type="text/javascript" src="../fiveui/injected/prelude.js"></script> + <script type="text/javascript" src="../fiveui/injected/jquery-plugins.js"></script> <script type="text/javascript" src="specs/set.js"></script> <script type="text/javascript" src="specs/utils.js"></script> @@ -32,6 +33,7 @@ <script type="text/javascript" src="specs/settings.js"></script> <script type="text/javascript" src="specs/state.js"></script> <script type="text/javascript" src="specs/prelude.js"></script> + <script type="text/javascript" src="specs/jquery-plugins.js"></script> </head> |