From 955fea7d58524ceb7ed51f612b030d2480efdc8d Mon Sep 17 00:00:00 2001 From: James Hegedus Date: Sat, 5 Oct 2024 23:53:41 +1000 Subject: [PATCH] fix: rename database-tools to mongodb-database-tools --- plugins/{database-tools => mongodb-database-tools} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename plugins/{database-tools => mongodb-database-tools} (100%) diff --git a/plugins/database-tools b/plugins/mongodb-database-tools similarity index 100% rename from plugins/database-tools rename to plugins/mongodb-database-tools