From 28198dddb478b8ee41d0aa2510a14ff1bc095d45 Mon Sep 17 00:00:00 2001 From: Hans-Christoph Steiner 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