use https git URLs instead of local dirs#220

johrstrom wants to merge 1 commit intoubccr:masterubccr/hpc-toolset-tutorial:masterfrom

johrstrom:patch-gitjohrstrom/hpc-toolset-tutorial:patch-gitCopy head branch name to clipboard