Mention placeholders for repositories in documentation; fix #369 #371

Merged

witten merged 1 commits from :master into master 2020-11-18 19:25:00 +00:00

Conversation 5 Commits 1 Files Changed 2 +32 -2

1 Commits

Author	SHA1	Message	Date
François Poulain	ebac02f118	Mention placeholders for repositories in documentation; fix #369	2020-11-18 20:22:41 +01:00