diff options
| author | dirkf <fieldhouse@gmx.net> | 2024-06-20 02:57:52 +0100 |
|---|---|---|
| committer | dirkf <fieldhouse@gmx.net> | 2024-06-20 20:03:49 +0100 |
| commit | e0094e63c3bce919841b6e3634c877fcef8772a1 (patch) | |
| tree | ed9a353f0bc7c24510a291acb65877b70934b5c0 /devscripts/gh-pages/update-feed.py | |
| parent | fd8242e3efd3c0e2ba9a45c662d6983c00b21d6d (diff) | |
[jsinterp] Various tweaks
* treat Infinity like NaN
* cache operator list
Diffstat (limited to 'devscripts/gh-pages/update-feed.py')
0 files changed, 0 insertions, 0 deletions