This repository was archived by the owner on Oct 25, 2023. It is now read-only.
This repository was archived by the owner on Oct 25, 2023. It is now read-only.
fetch_lean_js.sh script is platform specific #4
{{ message }}
The fetch_lean_js.sh script is platform specific and particularly inaccessible to developers on a Windows platform (although I suppose I could have installed cygwin or something). Would a port to TypeScript - fetch_lean_js.ts - be of interest at all? i.e. the same language the lean-web-editor itself is coded in.