diff options
author | Alex Yatskov <FooSoft@users.noreply.github.com> | 2019-08-03 19:54:56 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-03 19:54:56 -0700 |
commit | 0368641621bd8a2f62f380d40c10bb5ca824f3cf (patch) | |
tree | 736143cac8a884329b00043baf640aa70aa5cac6 /ext/fg/float.html | |
parent | 567b136f5f004ee887cf9a8bd950b2286fd5ddab (diff) | |
parent | bf92430ea742422e2e3ab4ba5ed5c2259be4c775 (diff) |
Merge pull request #172 from siikamiika/search-terms-from-terms
allow looking up terms from within terms
Diffstat (limited to 'ext/fg/float.html')
-rw-r--r-- | ext/fg/float.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ext/fg/float.html b/ext/fg/float.html index fed7eeab..07f2d58b 100644 --- a/ext/fg/float.html +++ b/ext/fg/float.html @@ -36,6 +36,8 @@ <script src="/fg/js/api.js"></script> <script src="/fg/js/util.js"></script> + <script src="/fg/js/document.js"></script> + <script src="/fg/js/source.js"></script> <script src="/mixed/js/display.js"></script> <script src="/fg/js/float.js"></script> |