Ralf Becker 03dcd5c6ba * Filemanager/WebDAV: rename of a file or directory removed other files with names only differing in case eg. "test" and "Test"		2015-08-06 13:00:20 +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 13:00:20 +00:00