From 81081787458a907d023d55939f6e7568a52a0f27 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sun, 24 Feb 2008 07:36:32 -0500 Subject: [PATCH] web commit by rdennis --- .../inline_plugin_rootpage_option_is_not_case_insensitive.mdwn | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 doc/bugs/inline_plugin_rootpage_option_is_not_case_insensitive.mdwn diff --git a/doc/bugs/inline_plugin_rootpage_option_is_not_case_insensitive.mdwn b/doc/bugs/inline_plugin_rootpage_option_is_not_case_insensitive.mdwn new file mode 100644 index 000000000..f9c5c2344 --- /dev/null +++ b/doc/bugs/inline_plugin_rootpage_option_is_not_case_insensitive.mdwn @@ -0,0 +1,3 @@ +If rootpage is "foo/Bar" and a directory "foo/bar" exists already, the new pages go into the "foo/Bar" directory instead of the existing "foo/bar". + +But maybe this is intended behavior? --rdennis -- 2.45.0