5 ms·

Thank you very, very much for this. Note: Installing failed for me until I replaced git:// with https:// https:// in two places in script/deps. Then it worked

Thank you very, very much for this. Note: Installing failed for me until I replaced git:// with https:// https:// in two places in script/deps. Then it worked.

candera 15y ago
Thanks for pointing that out. We've fixed it and pushed the new script.
jsofra 15y ago
Strange for me it was he other way around. I had to replace https:// https:// with git:// , perhaps it depends on the git version? mine was probably pretty old.