From 73817ba85c6953d6d5887077015749a7830b8b52 Mon Sep 17 00:00:00 2001 From: Lars Kruse Date: Mon, 5 Oct 2020 00:58:59 +0200 Subject: [PATCH] Rename "moinoin_pages" plugin to "moinmoin_pages" The previous name was mistyped. --- plugins/moinmoin/{moinoin_pages => moinmoin_pages} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename plugins/moinmoin/{moinoin_pages => moinmoin_pages} (100%) diff --git a/plugins/moinmoin/moinoin_pages b/plugins/moinmoin/moinmoin_pages similarity index 100% rename from plugins/moinmoin/moinoin_pages rename to plugins/moinmoin/moinmoin_pages