From 89f95a0f4c3f1f74bdd10b3610275b2bce0712eb Mon Sep 17 00:00:00 2001 From: fennecdjay Date: Tue, 15 Oct 2019 19:31:42 +0200 Subject: [PATCH] :shirt: Remove useless header --- src/main.c | 1 - 1 file changed, 1 deletion(-) diff --git a/src/main.c b/src/main.c index 72a3a22f..281e6a2a 100644 --- a/src/main.c +++ b/src/main.c @@ -15,7 +15,6 @@ static void sig(int unused NUSED) { #endif } -#include "type.h" int main(int argc, char** argv) { Arg arg = { .argc=argc, .argv=argv, .loop=-1 }; signal(SIGINT, sig); -- 2.43.0