GPS: Remove unused header

2026-10-03 20:18:53 +08:00 · 2015-09-16 18:12:05 +02:00
parent 27055184de
commit dd697d1343
1 changed files with 0 additions and 1 deletions
@@ -42,7 +42,6 @@
 #include <stdio.h>
 #include <stdbool.h>
 #include <stdlib.h>
-#include <semaphore.h>
 #include <string.h>
 #include <fcntl.h>
 #include <poll.h>