From 3111008246da255a00cc21c86dd93e8333bcc3de Mon Sep 17 00:00:00 2001 From: ben Date: Fri, 28 Sep 2018 22:21:03 +0200 Subject: Clean source, remove website from src. --- website/start_server.sh | 3 --- 1 file changed, 3 deletions(-) delete mode 100755 website/start_server.sh (limited to 'website/start_server.sh') diff --git a/website/start_server.sh b/website/start_server.sh deleted file mode 100755 index 0060e39..0000000 --- a/website/start_server.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash -echo "http://127.0.0.1:8000" -python -m SimpleHTTPServer 8000 -- cgit v1.2.3