From cfaef26e8718916adcc68fbfb63b15f2389b2cd2 Mon Sep 17 00:00:00 2001 From: Mike Vink Date: Fri, 6 Oct 2023 23:10:55 +0200 Subject: move all the files --- shell-scripts/filter-ansi | 2 -- 1 file changed, 2 deletions(-) delete mode 100755 shell-scripts/filter-ansi (limited to 'shell-scripts/filter-ansi') diff --git a/shell-scripts/filter-ansi b/shell-scripts/filter-ansi deleted file mode 100755 index 369f9fd..0000000 --- a/shell-scripts/filter-ansi +++ /dev/null @@ -1,2 +0,0 @@ -# #!@bash@/bin/bash -cat -u - | sed -u -E -e 's/\x1b\[[0-9;]*[mGKHF]|\r//g' -- cgit v1.2.3