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-nix.sh | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100755 src/extract-nix.sh

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

diff --git a/src/extract-nix.sh b/src/extract-nix.sh
deleted file mode 100755
index 575131d..0000000
--- a/src/extract-nix.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/usr/bin/env bash
-
-set -efu
-
-TREE_GREPPER_LANGUAGE=nix \
-TREE_GREPPER_QUERY='(comment)' \
-LINE_COMMENT_START='#' \
-BLOCK_COMMENT_START='\/\*' \
-BLOCK_COMMENT_END='\*\/' \
-"$(dirname "$0")"/extract-generic.sh "$@"
-- 
cgit v1.2.3