From 43a2e511371a73e283a1068f20a09e3bedc70283 Mon Sep 17 00:00:00 2001 From: Nikolay Puzanov Date: Thu, 1 Dec 2022 13:26:06 +0300 Subject: [PATCH] Move sources to server folder --- _web_server/{ => server}/firejailed.sh | 0 _web_server/{ => server}/index.html | 0 _web_server/{ => server}/iverilog | 0 _web_server/{ => server}/playground-server.scm | 0 _web_server/{ => server}/vvp | 0 5 files changed, 0 insertions(+), 0 deletions(-) rename _web_server/{ => server}/firejailed.sh (100%) rename _web_server/{ => server}/index.html (100%) rename _web_server/{ => server}/iverilog (100%) rename _web_server/{ => server}/playground-server.scm (100%) rename _web_server/{ => server}/vvp (100%) diff --git a/_web_server/firejailed.sh b/_web_server/server/firejailed.sh similarity index 100% rename from _web_server/firejailed.sh rename to _web_server/server/firejailed.sh diff --git a/_web_server/index.html b/_web_server/server/index.html similarity index 100% rename from _web_server/index.html rename to _web_server/server/index.html diff --git a/_web_server/iverilog b/_web_server/server/iverilog similarity index 100% rename from _web_server/iverilog rename to _web_server/server/iverilog diff --git a/_web_server/playground-server.scm b/_web_server/server/playground-server.scm similarity index 100% rename from _web_server/playground-server.scm rename to _web_server/server/playground-server.scm diff --git a/_web_server/vvp b/_web_server/server/vvp similarity index 100% rename from _web_server/vvp rename to _web_server/server/vvp