Developer manual: Document how ot access the git repository through https
authorFabian Keil <fk@fabiankeil.de>
Fri, 14 Feb 2020 13:21:19 +0000 (14:21 +0100)
committerFabian Keil <fk@fabiankeil.de>
Fri, 14 Feb 2020 13:47:29 +0000 (14:47 +0100)
commit5688968d46c6fb2dc0fef447ef7efd694e575905
tree31c072639199a49f6d99cbcc9b50b50bc9576b6b
parentefa39c46c6a870259112e96defaaafb706807e12
Developer manual: Document how ot access the git repository through https
doc/source/developer-manual.sgml