mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Use non-minified copies of jQuery and jsTree.

Browse Source 
The Debian packaging system complains about minified files not being
built from non-minified sources so distribute and install the
non-minified sources instead. Fixes Mantis bug #473.

scripts/jquery.slim.js
    Add non-minified copy of jQuery slim 3.3.1 from https://jquery.com/

scripts/jstree.js
scripts/jstree.style.css
    Add non-minified copy of jsTree 3.2.1 from https://www.jstree.com/

scripts/jquery.slim.min.js:
scripts/jstree.min.js:
scripts/jstree.style.min.css:
    Delete old minified files.

LICENSE:
browser/term_to_html.m:
scripts/Mmakefile
    Update paths.
This commit is contained in:
Peter Wang
2018-11-19 11:42:45 +11:00
parent a0f4980d9d
commit 5686126f21
9 changed files with 17120 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
LICENSE
View File

@@ -48,7 +48,7 @@ License version 2:
The following file is from the jquery project, distributed under the
following license:
scripts/jquery.slim.min.js
scripts/jquery.slim.js
Copyright JS Foundation and other contributors, https://js.foundation/
@@ -76,8 +76,8 @@ following license:
The following files are from the jstree project, distributed under the
following license:
scripts/jstree.min.js
scripts/jstree.style.min.css
scripts/jstree.js
scripts/jstree.style.css
scripts/32px.png
scripts/40px.png
scripts/throbber.gif