diff --git a/http-ui/src/main.rs b/http-ui/src/main.rs
deleted file mode 100644
index 8b1378917..000000000
--- a/http-ui/src/main.rs
+++ /dev/null
@@ -1 +0,0 @@
-
diff --git a/infos/src/main.rs b/infos/src/main.rs
deleted file mode 100644
index 8b1378917..000000000
--- a/infos/src/main.rs
+++ /dev/null
@@ -1 +0,0 @@
-