From 5213332a30c375246f4a4847a085c1261a7be01d Mon Sep 17 00:00:00 2001 From: bozokopic Date: Fri, 13 Apr 2018 15:44:53 +0200 Subject: web frontend --- playground/server/run.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 playground/server/run.sh (limited to 'playground') diff --git a/playground/server/run.sh b/playground/server/run.sh old mode 100644 new mode 100755 -- cgit v1.2.3-70-g09d2