From 7c22a2a2f3568841b0830e4339bdb6f8ec69262f Mon Sep 17 00:00:00 2001
From: ulrich
Date: Wed, 07 Apr 2021 10:39:57 +0000
Subject: [PATCH] Piktogramme in Media-Inhalten, Tool-Tipps, Auswahl in Media-Inhalten

---
 publish/start |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/publish/start b/publish/start
index 93263b1..f5084ef 100755
--- a/publish/start
+++ b/publish/start
@@ -1,3 +1,3 @@
 #!/bin/sh
 
-java  -Djava.util.logging.config.file=logging.properties -jar mediaz.jar port=9090 ctx=/mz www-data=./www conf=conf
\ No newline at end of file
+java -Djava.util.logging.config.file=logging.properties -jar mediaz.jar port=9090 ctx=/mz www-data=./www conf=conf
\ No newline at end of file

--
Gitblit v1.9.3