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