diff options
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 |