misc: remove duplicated include files

Closes #9796
This commit is contained in:
Daniel Stenberg 2022-10-24 23:27:31 +02:00
parent 3678336b20
commit 279834dd45
No known key found for this signature in database
GPG key ID: 5CC908FDB71E12C2
15 changed files with 85 additions and 142 deletions

View file

@ -710,7 +710,4 @@ CURLcode tool_setopt(CURL *curl, bool str, struct GlobalConfig *global,
#else /* CURL_DISABLE_LIBCURL_OPTION */
#include "tool_cfgable.h"
#include "tool_setopt.h"
#endif /* CURL_DISABLE_LIBCURL_OPTION */