@Robin, Thanks for your suggestion, but i tries that also.
Unfortunately this repo has the same .gitmodules files to load the sub modules from the repo.or.cz.
Sadly this site is still down and google web cache gave me that it was last cached on 30 Jan 2020.
© Espruino, powered by microcosm.
Report a problem