From f5a06f8e697b422c6f6630383de794b8b564f58d Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Tue, 21 Nov 2017 08:35:30 +0100
Subject: [PATCH] remove empty line

---
 op/op.AddDocument.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/op/op.AddDocument.php b/op/op.AddDocument.php
index 0207873c3..900f97e2e 100644
--- a/op/op.AddDocument.php
+++ b/op/op.AddDocument.php
@@ -530,5 +530,4 @@ for ($file_num=0;$file_num<count($_FILES["userfile"]["tmp_name"]);$file_num++){
 }
 
 header("Location:../out/out.ViewFolder.php?folderid=".$folderid."&showtree=".$_POST["showtree"]);
-
 ?>