From e7f923a999203b036da8d3e871b51e4df34d1d38 Mon Sep 17 00:00:00 2001
From: raphael <raphael.fritsch@reutlingen-university.de>
Date: Mon, 1 Jul 2019 13:24:02 +0200
Subject: [PATCH] rename webdav server label

---
 public/js/main.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/js/main.js b/public/js/main.js
index 8a653c2..d995774 100644
--- a/public/js/main.js
+++ b/public/js/main.js
@@ -180,7 +180,7 @@ $(document).ready(function () {
         var webDavHtml = $('<div>' +
             '<table>' +
             '<tr>' +
-            '<td>Webdav-Server:</td>' +
+            '<td>Server URL:</td>' +
             '<td><input class="webdavserver" type="text" value="'+webdavserver+'" placeholder="https://yourserver.com/remote.php/webdav/"></td>' +
             '<td></td>' +
             '</tr>' +