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 | |
| parent | 0fa210aed4e76fa4b9debc7e0b02b87906496b06 (diff) | |
web commit by rdennis
| -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 |