Skip to content

Commit eea537a

Browse files
stilschersim642
authored andcommitted
remove extra subfolder for http-server
1 parent 77274e2 commit eea537a

File tree

11 files changed

+1
-56
lines changed

11 files changed

+1
-56
lines changed

dune

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
(rule
22
(alias gobview)
33
(targets dist)
4-
(deps src/App.bc.js goblint-http-server/src/goblint_http.exe node_modules webpack.config.js)
4+
(deps src/App.bc.js goblint-http-server/goblint_http.exe node_modules webpack.config.js)
55
(action
66
(run npx webpack build)))
77

goblint-http-server/Makefile

Lines changed: 0 additions & 4 deletions
This file was deleted.

goblint-http-server/README.md

Lines changed: 0 additions & 12 deletions
This file was deleted.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

goblint-http-server/make.sh

Lines changed: 0 additions & 39 deletions
This file was deleted.
File renamed without changes.

0 commit comments

Comments
 (0)