From 58b38a42d4ff95083d67f100b6d5080afc157561 Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Wed, 24 Aug 2016 14:44:00 +0200
Subject: [PATCH] rename default_repo.xml to default_repos.xml, there are many

Just to make it clear that there can be and are multiple repos configured
in the file.
---
 app/src/main/res/values/{default_repo.xml => default_repos.xml} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename app/src/main/res/values/{default_repo.xml => default_repos.xml} (100%)

diff --git a/app/src/main/res/values/default_repo.xml b/app/src/main/res/values/default_repos.xml
similarity index 100%
rename from app/src/main/res/values/default_repo.xml
rename to app/src/main/res/values/default_repos.xml