diff options
Diffstat (limited to 'src/extract-elm.sh')
-rwxr-xr-x | src/extract-elm.sh | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/extract-elm.sh b/src/extract-elm.sh deleted file mode 100755 index 7ab3e17..0000000 --- a/src/extract-elm.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/usr/bin/env bash - -set -efu - -TREE_GREPPER_LANGUAGE=elm \ -TREE_GREPPER_QUERY='([(line_comment) (block_comment)])' \ -LINE_COMMENT_START='--' \ -BLOCK_COMMENT_START='{-|\?' \ -BLOCK_COMMENT_END='-}' \ -"$(dirname "$0")"/extract-generic.sh "$@" |