diff options
| author | siikamiika <siikamiika@users.noreply.github.com> | 2019-08-01 02:20:09 +0300 |
|---|---|---|
| committer | siikamiika <siikamiika@users.noreply.github.com> | 2019-08-01 02:20:09 +0300 |
| commit | b8df9896e643c772253749a335b2abf0daa7a282 (patch) | |
| tree | f4bd8f3e5dbbd7e50426d3ba5f31311b830d651e /ext/fg/float.html | |
| parent | 7cfcfb3bf34bb128dc4f5a47e7846fe4cc4c8c81 (diff) | |
allow looking up terms from within terms
resolves #167, resolves #139, resolves #75, resolves #151
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> |