]> Nishi Git Mirror - gwion.git/commitdiff
:shirt: Remove useless header
authorfennecdjay <astor.jeremie@wanadoo.fr>
Fri, 22 Feb 2019 14:13:42 +0000 (15:13 +0100)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Fri, 22 Feb 2019 14:13:42 +0000 (15:13 +0100)
src/plug.c

index 402f38228371e7037d4f5a8a833bcc94a17d03d5..4729fa36491158101f0b81f48d86fb358e2a1be2 100644 (file)
@@ -12,7 +12,6 @@
 #include "object.h"
 #include "import.h"
 #include "gwion.h"
-#include "plug.h"
 
 static inline int so_filter(const struct dirent* dir) {
   return strstr(dir->d_name, ".so") ? 1 : 0;