From 19d7f1bb35ed849a78c5486924212d6d90a453fc Mon Sep 17 00:00:00 2001 From: ru ru Date: Sat, 7 Mar 2020 10:49:22 +0000 Subject: [PATCH] docs: rename doc/official_naming_policy to doc/official-naming-policy --- doc/{official_naming_policy.md => official-naming-policy.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/{official_naming_policy.md => official-naming-policy.md} (100%) diff --git a/doc/official_naming_policy.md b/doc/official-naming-policy.md similarity index 100% rename from doc/official_naming_policy.md rename to doc/official-naming-policy.md