From 633e8141de3e70712db963fdcdd17d023deb292d Mon Sep 17 00:00:00 2001 From: Ralf Becker Date: Tue, 29 Mar 2016 06:50:44 +0000 Subject: [PATCH] remove empty dir, since HTTP_WebDAV_Server is moved to api