Brian Coca 698b277601 changed github and galaxy to always be https ... fixes #9925		2015-07-11 11:33:28 -04:00
..
srtd	changed github and galaxy to always be https	2015-07-11 11:33:28 -04:00