goblint
diff --git a/‎.gitignore‎ renamed to ‎goblint-http-server/.gitignore‎ b/‎.gitignore‎ renamed to ‎goblint-http-server/.gitignore‎
diff --git a/‎.ocamlformat‎ renamed to ‎goblint-http-server/.ocamlformat‎ b/‎.ocamlformat‎ renamed to ‎goblint-http-server/.ocamlformat‎
diff --git a/‎LICENSE‎ renamed to ‎goblint-http-server/LICENSE‎ b/‎LICENSE‎ renamed to ‎goblint-http-server/LICENSE‎
diff --git a/‎dune-project‎ renamed to ‎goblint-http-server/dune-project‎ b/‎dune-project‎ renamed to ‎goblint-http-server/dune-project‎
diff --git a/‎goblint-http-server.opam‎ renamed to ‎goblint-http-server/goblint-http-server.opam‎ b/‎goblint-http-server.opam‎ renamed to ‎goblint-http-server/goblint-http-server.opam‎
diff --git a/‎goblint-http-server.opam.locked‎ renamed to ‎goblint-http-server/goblint-http-server.opam.locked‎ b/‎goblint-http-server.opam.locked‎ renamed to ‎goblint-http-server/goblint-http-server.opam.locked‎
diff --git a/‎src/api.ml‎ renamed to ‎goblint-http-server/src/api.ml‎ b/‎src/api.ml‎ renamed to ‎goblint-http-server/src/api.ml‎
diff --git a/‎src/dune‎ renamed to ‎goblint-http-server/src/dune‎ b/‎src/dune‎ renamed to ‎goblint-http-server/src/dune‎
diff --git a/‎src/goblint.ml‎ renamed to ‎goblint-http-server/src/goblint.ml‎ b/‎src/goblint.ml‎ renamed to ‎goblint-http-server/src/goblint.ml‎
diff --git a/‎src/goblint_http.ml‎ renamed to ‎goblint-http-server/src/goblint_http.ml‎ b/‎src/goblint_http.ml‎ renamed to ‎goblint-http-server/src/goblint_http.ml‎