From fca54dc52a49fe50361cf6c4ab2b3c2e0450a2f8 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Fri, 18 Jun 2010 12:57:20 -0400 Subject: [PATCH] fix filename --- doc/plugins/discussion.mdwn | 2 ++ doc/plugins/{theme.pm => theme.mdwn} | 0 2 files changed, 2 insertions(+) rename doc/plugins/{theme.pm => theme.mdwn} (100%) diff --git a/doc/plugins/discussion.mdwn b/doc/plugins/discussion.mdwn index 49b76c662..d47fa4718 100644 --- a/doc/plugins/discussion.mdwn +++ b/doc/plugins/discussion.mdwn @@ -38,3 +38,5 @@ Any objections to listing plugins alphabetically rather than by creation date? ### `themes.pm` instead of `themes.mdwn` Could someone please change the filename. I cannot fix this using the Web interface. Somebody step in please. --[[PaulePanter]] + +> Oops, not the first time I've made that mistake! --[[Joey]] diff --git a/doc/plugins/theme.pm b/doc/plugins/theme.mdwn similarity index 100% rename from doc/plugins/theme.pm rename to doc/plugins/theme.mdwn -- 2.26.2