diff options
-rwxr-xr-x | filters/colorize | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/filters/colorize b/filters/colorize index e5502f25..5fad883e 100755 --- a/filters/colorize +++ b/filters/colorize @@ -1,4 +1,4 @@ -#!/bin/awk -f +#!/usr/bin/awk -f # Copyright (c) 2022 Robin Jarry BEGIN { |