Switch Git URL to https://
commit0466fa23f3e9a1c0b9e3a6774d866bcca08ecb49
authorintrigeri <intrigeri@boum.org>
Wed, 23 Oct 2019 14:10:28 +0000 (23 14:10 +0000)
committerintrigeri <intrigeri@boum.org>
Wed, 23 Oct 2019 14:10:28 +0000 (23 14:10 +0000)
treee73436403cd09f5084f2d5804d268ee70e9c7216
parent1df46dddadabe73ed22ef85a1f117ad032b1f9b5
Switch Git URL to https://
dist.ini