From f09bafbaf33ad6ef03595b65a008c6202f8699d1 Mon Sep 17 00:00:00 2001
From: Alexander Foremny <aforemny@posteo.de>
Date: Wed, 4 Oct 2023 10:02:03 +0200
Subject: drop shell script

---
 src/extract-elm.sh | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100755 src/extract-elm.sh

(limited to 'src/extract-elm.sh')

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 "$@"
-- 
cgit v1.2.3