From c69f8f6ca7d10f7ebfb561a37b3bf869a0389731 Mon Sep 17 00:00:00 2001
From: Leon Klingele <git@leonklingele.de>
Date: Fri, 10 Nov 2017 18:10:07 +0100
Subject: [PATCH] Rename file: 'miners' -> 'mining'

---
 resources/moneropedia/{miners.md => mining.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename resources/moneropedia/{miners.md => mining.md} (100%)

diff --git a/resources/moneropedia/miners.md b/resources/moneropedia/mining.md
similarity index 100%
rename from resources/moneropedia/miners.md
rename to resources/moneropedia/mining.md
-- 
GitLab