Ralf Becker 02de20bddb * Filemanager/WebDAV: rename of a file or directory removed other files with names only differing in case eg. "test" and "Test"		2015-08-06 12:59:56 +00:00
..
src	* Filemanager/WebDAV: rename of a file or directory removed other files with names only differing in case eg. "test" and "Test"	2015-08-06 12:59:56 +00:00