1 files changed, 0 insertions, 19 deletions
diff --git a/web/web_ui.h b/web/web_ui.h
deleted file mode 100644
index 831e3dd..0000000
--- a/web/web_ui.h
+++ /dev/null
@@ -1,19 +0,0 @@
-#ifndef WEB_UI_H
-#define WEB_UI_H
-
-#include <stdbool.h>
-
-void ui_flush();
-
-void ui_flush_player_info(int pn);
-void ui_set_player_avg(int pn, double avg);
-
-void update_player_name(int pn, char *str);
-void update_player_sugg(int pn, int rem);
-void update_player_avg(int pn, int n_darts);
-void update_player_rem(int pn, int rem);
-void clear_player_info(int pn);
-
-void draw_visits();
-
-#endif