decomplint needed a shebang

2026-01-28 10:41:15 +00:00 · 2024-02-06 22:52:34 +01:00 · 2024-02-06 22:52:34 +01:00 · 1895f2e19c
commit 1895f2e19c
parent 6103bd889e
1 changed files with 2 additions and 0 deletions
--- a/tools/decomplint/decomplint.py
+++ b/tools/decomplint/decomplint.py
@ -1,3 +1,5 @@
+#!/usr/bin/env python3
+
 import os
 import sys
 import argparse