From 90f2352c78b921c50f4c8547baa609c272248c30 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Wed, 19 Jan 2022 10:18:46 -0300 Subject: src/td.in: Disable unusable WIP linting --- src/td.in | 1 + 1 file changed, 1 insertion(+) diff --git a/src/td.in b/src/td.in index 05ff85e..f21c03f 100755 --- a/src/td.in +++ b/src/td.in @@ -383,6 +383,7 @@ warning() { } lint() { + return 0 TYPE_HEADINGS="$(mkstemp)" echo "$TD_TYPES" | cut -d: -f2- | sed 's/^/# /' > "$TYPE_HEADINGS" IN_TD_SECTION=false -- cgit v1.2.3