From 841e8b0007195d637de669a32c1e2c60b4dafa4d Mon Sep 17 00:00:00 2001
From: Andy <1780327+andythenorth@users.noreply.github.com>
Date: Sun, 20 Oct 2019 17:28:13 +0100
Subject: [PATCH] Doc: rename HOWTO_compile_lang_files.md

No need for the caps, no other pattern of "HOWTO" in file names.
---
 docs/{HOWTO_compile_lang_files.md => compiling_lang_files.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename docs/{HOWTO_compile_lang_files.md => compiling_lang_files.md} (100%)

diff --git a/docs/HOWTO_compile_lang_files.md b/docs/compiling_lang_files.md
similarity index 100%
rename from docs/HOWTO_compile_lang_files.md
rename to docs/compiling_lang_files.md