From 1895f2e19cefdb123da5d42796c4b2713918768e Mon Sep 17 00:00:00 2001
From: Anonymous Maarten <anonymous.maarten@gmail.com>
Date: Tue, 6 Feb 2024 22:52:34 +0100
Subject: [PATCH] decomplint needed a shebang

---
 tools/decomplint/decomplint.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/decomplint/decomplint.py b/tools/decomplint/decomplint.py
index 2ceb42c2..6aa28012 100755
--- a/tools/decomplint/decomplint.py
+++ b/tools/decomplint/decomplint.py
@@ -1,3 +1,5 @@
+#!/usr/bin/env python3
+
 import os
 import sys
 import argparse