From ca555686ec2688c4353778ad76d89e1136d45dcc Mon Sep 17 00:00:00 2001 From: JeLuF Date: Sun, 12 Mar 2023 22:31:14 +0100 Subject: [PATCH] Rename user hint --- ...O NOT PLACE USER PLUGINS HERE, unless you are a developer.txt} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename ui/plugins/ui/{Put UI plugins here (developer team only).txt => DO NOT PLACE USER PLUGINS HERE, unless you are a developer.txt} (100%) diff --git a/ui/plugins/ui/Put UI plugins here (developer team only).txt b/ui/plugins/ui/DO NOT PLACE USER PLUGINS HERE, unless you are a developer.txt similarity index 100% rename from ui/plugins/ui/Put UI plugins here (developer team only).txt rename to ui/plugins/ui/DO NOT PLACE USER PLUGINS HERE, unless you are a developer.txt