From ba55fd67d7971955717caa4e93882768e7fd22b8 Mon Sep 17 00:00:00 2001 From: Marco Slot Date: Wed, 23 Aug 2023 12:47:18 +0200 Subject: [PATCH] Rename planner_readme.md to README.md (#7139) --- src/backend/distributed/planner/{planner_readme.md => README.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/backend/distributed/planner/{planner_readme.md => README.md} (100%) diff --git a/src/backend/distributed/planner/planner_readme.md b/src/backend/distributed/planner/README.md similarity index 100% rename from src/backend/distributed/planner/planner_readme.md rename to src/backend/distributed/planner/README.md