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/mixed | |
| parent | a14b820a190c561664e8ad451cf2f83c1d98c4ca (diff) | |
Rename extension.js to core.js to better reflect its use
Diffstat (limited to 'ext/mixed')
| -rw-r--r-- | ext/mixed/js/core.js (renamed from ext/mixed/js/extension.js) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/ext/mixed/js/extension.js b/ext/mixed/js/core.js index 12ed9c1f..12ed9c1f 100644 --- a/ext/mixed/js/extension.js +++ b/ext/mixed/js/core.js |