From 4a6f07e4219dbc88e32f1ecea7a260563e748e4d Mon Sep 17 00:00:00 2001 From: Diogo Diniz Date: Mon, 29 Jun 2026 15:06:11 +0100 Subject: [PATCH] chore: Removed unused header --- app/src/incphub/src/incphub_task_internal.h | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 app/src/incphub/src/incphub_task_internal.h diff --git a/app/src/incphub/src/incphub_task_internal.h b/app/src/incphub/src/incphub_task_internal.h deleted file mode 100644 index e69de29..0000000