diff options
| author |  Alexander Foremny <aforemny@posteo.de> | 2023-10-04 10:02:03 +0200 |
|---|---|---|
| committer | Alexander Foremny <aforemny@posteo.de> | 2023-10-04 10:02:03 +0200 |
| commit | f09bafbaf33ad6ef03595b65a008c6202f8699d1 (patch) | |
| tree | 77de778aaace536b879fbc93eafc536691a82160 /src/extract-sh.sh | |
| parent | 4adb99e683b81df9d572c05db06e6fb688fb007a (diff) | |
drop shell script
Diffstat (limited to 'src/extract-sh.sh')
| -rwxr-xr-x | src/extract-sh.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/extract-sh.sh b/src/extract-sh.sh deleted file mode 100755 index a8bb1ff..0000000 --- a/src/extract-sh.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/usr/bin/env bash - -set -efu - -TREE_GREPPER_LANGUAGE=sh \ -TREE_GREPPER_QUERY='(comment)' \ -LINE_COMMENT_START='#' \ -"$(dirname "$0")"/extract-generic.sh "$@" |