• Did you try an installation from the files on github?

  • It's up to the sysadmin really to deploy the packages (I'm teaching using the IDE in about 6 different computer labs). He really doesn't have time to start picking files out of the directories!

About

Avatar for JGreen @JGreen started