From 7144308271f1ac477a3cbd05e5e0042b8321a1ab Mon Sep 17 00:00:00 2001
From: Rahix <rahix@rahix.de>
Date: Fri, 2 Apr 2021 20:40:50 +0200
Subject: [PATCH] chore(linter): Ignore hawkmoth

Don't lint vendored sources...
---
 tools/code-style.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/code-style.sh b/tools/code-style.sh
index 311df9be..c90ce11c 100755
--- a/tools/code-style.sh
+++ b/tools/code-style.sh
@@ -48,6 +48,7 @@ formatter_blacklist=(
     lib/vendor/
     openocd/
     docker/
+    Documentation/hawkmoth/
 )
 
 for source_file in "$@"; do
-- 
GitLab