diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-11-26 17:29:52 -0500 |
|---|---|---|
| committer | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-11-26 17:29:52 -0500 |
| commit | 7e94fca7c7a07f94de40ddeb56a3f06e43000e25 (patch) | |
| tree | e3e70676dd5d7a4fd5aaa09521b583efbbdaa1a8 /ext/fg | |
| parent | a14b820a190c561664e8ad451cf2f83c1d98c4ca (diff) | |
Rename extension.js to core.js to better reflect its use
Diffstat (limited to 'ext/fg')
| -rw-r--r-- | ext/fg/float.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/fg/float.html b/ext/fg/float.html index 73118917..e04c1402 100644 --- a/ext/fg/float.html +++ b/ext/fg/float.html @@ -31,7 +31,7 @@ </div> </div> - <script src="/mixed/js/extension.js"></script> + <script src="/mixed/js/core.js"></script> <script src="/fg/js/api.js"></script> <script src="/fg/js/util.js"></script> |