diff options
author | 2012-04-13 13:47:14 +0000 | |
---|---|---|
committer | 2012-04-13 13:47:14 +0000 | |
commit | 45a3cbc55bcc1462241e44ffa2b22d37895cfcd9 (patch) | |
tree | 47ade2ab7370e7ac6d40681fddbe54700fb299c0 | |
parent | d712f5b0c4d96fc63a2a42c6e7af6139f4357733 (diff) |
rename bugs/sensitive.mdwn to bugs/case-insensitive.mdwn
-rw-r--r-- | doc/bugs/case-insensitive.mdwn (renamed from doc/bugs/sensitive.mdwn) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/bugs/sensitive.mdwn b/doc/bugs/case-insensitive.mdwn index 21c2c4ec4..21c2c4ec4 100644 --- a/doc/bugs/sensitive.mdwn +++ b/doc/bugs/case-insensitive.mdwn |