Hans-Christoph Steiner dd70599c15 always use https with github.com, prevent redirects ... http://github.com will redirect to https. This changes that url to https:// everywhere to also leak less info		2014-01-30 20:42:55 -05:00
..
extlib	always use https with github.com, prevent redirects	2014-01-30 20:42:55 -05:00
.gitignore	Better gitignore fields (we want the root directory)	2013-10-25 20:56:38 +02:00