From 4eae0835b3eef1ce158ddd50550d1c3dfa8f0995 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dominik=20Pant=C5=AF=C4=8Dek?= Date: Mon, 19 Jun 2023 20:04:16 +0200 Subject: [PATCH] Rename dokuwiki plugin subdirectory to dokuwiki. --- {brmburo => dokuwiki}/LICENSE | 0 {brmburo => dokuwiki}/README | 0 {brmburo => dokuwiki}/action.php | 0 {brmburo => dokuwiki}/plugin.info.txt | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename {brmburo => dokuwiki}/LICENSE (100%) rename {brmburo => dokuwiki}/README (100%) rename {brmburo => dokuwiki}/action.php (100%) rename {brmburo => dokuwiki}/plugin.info.txt (100%) diff --git a/brmburo/LICENSE b/dokuwiki/LICENSE similarity index 100% rename from brmburo/LICENSE rename to dokuwiki/LICENSE diff --git a/brmburo/README b/dokuwiki/README similarity index 100% rename from brmburo/README rename to dokuwiki/README diff --git a/brmburo/action.php b/dokuwiki/action.php similarity index 100% rename from brmburo/action.php rename to dokuwiki/action.php diff --git a/brmburo/plugin.info.txt b/dokuwiki/plugin.info.txt similarity index 100% rename from brmburo/plugin.info.txt rename to dokuwiki/plugin.info.txt