# HG changeset patch # User Pascal Bellard # Date 1645901213 0 # Node ID 36a1e6790d10a695d827ba9f60e90793db259445 # Parent 4495814243a29240a9675bfa0db03c00fa1caac0 sokojs: add shrink.sh (again) diff -r 4495814243a2 -r 36a1e6790d10 sokojs/stuff/shrink.sh --- a/sokojs/stuff/shrink.sh Sat Feb 26 16:37:15 2022 +0000 +++ b/sokojs/stuff/shrink.sh Sat Feb 26 18:46:53 2022 +0000 @@ -26,8 +26,11 @@ } function flush() { for (i=0;i