delete duplicate header files

This commit is contained in:
liuduanfei 2020-06-28 23:20:31 +08:00 committed by GitHub
parent 7ba7b996dd
commit 13e768203d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 2 deletions

View File

@ -41,8 +41,6 @@
* 2018-11-02 MurphyZhao port to lwIP 2.1.0
*/
#include "lwip/opt.h"
#include "lwip/opt.h"
#include "lwip/debug.h"
#include "lwip/def.h"