diff options
| author | EuAndreh <eu@euandre.org> | 2024-01-02 17:27:38 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2024-01-02 17:27:38 -0300 |
| commit | 46ab8cfff358fbccbdeee3a6f211f8dc74e73aac (patch) | |
| tree | 18f7f6faad837d02c64cc9a8cb74b3c6c3b07f82 /tools/version.sh | |
| parent | Inline "INSTALL" into "README" (diff) | |
| download | grovel-46ab8cfff358fbccbdeee3a6f211f8dc74e73aac.tar.gz grovel-46ab8cfff358fbccbdeee3a6f211f8dc74e73aac.tar.xz | |
tools/: Remove unused files
Diffstat (limited to 'tools/version.sh')
| -rw-r--r-- | tools/version.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/tools/version.sh b/tools/version.sh deleted file mode 100644 index f1cc5948..00000000 --- a/tools/version.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh - -if test -d .git ; then -if type git >/dev/null 2>&1 ; then -git describe --tags --match 'v[0-9]*' 2>/dev/null \ -| sed -e 's/^v//' -e 's/-/-git-/' -else -sed 's/$/-git/' < VERSION -fi -else -cat VERSION -fi |