INSTALL: Switch to https for rsync link.
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 6 Nov 2017 02:20:24 +0000 (03:20 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 6 Nov 2017 02:20:24 +0000 (03:20 +0100)
commit2af5575f983be85475a72882a261731e99098b02
tree48552f1d006de756a71a7a9176fa8e8aa9d6be6d
parentf346e5b5c8170ee2d534e954d86993153fafada8
INSTALL: Switch to https for rsync link.

The http link gives 502 (Couldn't parse server headers) at the moment
while https works.
INSTALL