diff options
author | Joey Hess <joey@kitenet.net> | 2008-02-24 07:36:32 -0500 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2008-02-24 07:36:32 -0500 |
commit | 81081787458a907d023d55939f6e7568a52a0f27 (patch) | |
tree | 8ad5aad429ef536c064e6f5fd27720f811a1cf6d /doc | |
parent | 0fa210aed4e76fa4b9debc7e0b02b87906496b06 (diff) |
web commit by rdennis
Diffstat (limited to 'doc')
-rw-r--r-- | doc/bugs/inline_plugin_rootpage_option_is_not_case_insensitive.mdwn | 3 |
1 files changed, 3 insertions, 0 deletions
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 |