From b88dd78d27d2dc0ea651184d03ffa78ec595b199 Mon Sep 17 00:00:00 2001 From: Julien Ponge Date: Fri, 15 Dec 2017 16:45:01 +0100 Subject: [PATCH] Files renaming for consistency --- benchmarks.md => BENCHMARKING.md | 0 BUILD_README.md => BUILDING.md | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename benchmarks.md => BENCHMARKING.md (100%) rename BUILD_README.md => BUILDING.md (100%) diff --git a/benchmarks.md b/BENCHMARKING.md similarity index 100% rename from benchmarks.md rename to BENCHMARKING.md diff --git a/BUILD_README.md b/BUILDING.md similarity index 100% rename from BUILD_README.md rename to BUILDING.md