Skip to content

Commit

Permalink
Update built js files. Update index.html size stats.
Browse files Browse the repository at this point in the history
  • Loading branch information
kanaka committed Mar 15, 2024
1 parent 3de0209 commit ca55ddd
Show file tree
Hide file tree
Showing 6 changed files with 9 additions and 9 deletions.
8 changes: 4 additions & 4 deletions index.html
Original file line number Diff line number Diff line change
Expand Up @@ -32,10 +32,10 @@ <h2>A Delightfully Diminutive Lisp</h2>
<div class="console" id="console"></div>
</div>
<div class="eleven columns" style="font-family: monospace">
miniMAL: &nbsp;<a href="js/web/miniMAL-min.js">min</a> (&nbsp;906 bytes),
<a href="js/stepB_web.js">orig</a> (3943 bytes, 118 lines)<br>
Core Lib: <a href="js/web/miniMAL-core.js">min</a> (1081 bytes),
<a href="js/core.json">orig</a> (4156 bytes, 122 lines)
miniMAL: &nbsp;<a href="js/web/miniMAL-min.js">min</a> (&nbsp;824 bytes),
<a href="js/stepB_web.js">orig</a> (4053 bytes, 119 lines)<br>
Core Lib: <a href="js/web/miniMAL-core.js">min</a> (1086 bytes),
<a href="js/core.json">orig</a> (4161 bytes, 120 lines)
</div>
<div class="five columns">
<div class="source">
Expand Down
2 changes: 1 addition & 1 deletion js/miniMAL-core.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion js/miniMAL-node.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion js/web/miniMAL-core.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion js/web/miniMAL-js1k.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion js/web/miniMAL-min.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0 comments on commit ca55ddd

Please sign in to comment.