diff options
Diffstat (limited to 'search.h')
-rw-r--r-- | search.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/search.h b/search.h deleted file mode 100644 index ff24508172..0000000000 --- a/search.h +++ /dev/null @@ -1 +0,0 @@ -#include <misc/search.h> |