Rename repository.xml to dcstore.xml

This commit is contained in:
Jean-Christian Paul Denis 2021-08-26 18:23:44 +02:00 committed by GitHub
parent 4f1f74db08
commit 26e683fbb5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23