lint: Convert lint-logs.sh to Python

This commit is contained in:
Dimitri
2022-04-14 02:43:31 +02:00
parent decde9bba6
commit e9d277131c
3 changed files with 35 additions and 29 deletions

View File

@@ -13,7 +13,7 @@
#include <compat.h> // for Windows API
#include <wincrypt.h>
#endif
#include <logging.h> // for LogPrintf()
#include <logging.h>
#include <randomenv.h>
#include <support/allocators/secure.h>
#include <sync.h> // for Mutex