| Tue, 07 Mar 2023 23:24:40 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Fri, 11 Nov 2022 23:25:24 +0100 | wenzelm | proper support for Windows; | file | diff | annotate |
| Fri, 11 Nov 2022 21:35:33 +0100 | wenzelm | support for JavaScript syntax and Node.js platform; | file | diff | annotate |