diff options
author | Junio C Hamano <junkio@cox.net> | 2006-04-14 12:47:10 -0700 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-04-14 12:48:45 -0700 |
commit | e3a125a94d34d22a8ca53e84949a1bb38cd6e425 (patch) | |
tree | 55501dcaf01ccf1acb7f336a6bcc1c0a82563ec9 | |
parent | 5cf7e21fbc1819de7975b17f4b19cfdc3a057c1d (diff) | |
download | git-e3a125a94d34d22a8ca53e84949a1bb38cd6e425.tar.gz git-e3a125a94d34d22a8ca53e84949a1bb38cd6e425.tar.xz |
Retire git-log.sh (take #4)
Noticed by Johannes. We do not install it anymore, but still have
been shipping the source, which was crazy.
Signed-off-by: Junio C Hamano <junkio@cox.net>
-rwxr-xr-x | git-log.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/git-log.sh b/git-log.sh deleted file mode 100755 index c2ea71cf1..000000000 --- a/git-log.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh -# -# Copyright (c) 2005 Linus Torvalds -# - -USAGE='[--max-count=<n>] [<since>..<limit>] [--pretty=<format>] [git-rev-list options]' -SUBDIRECTORY_OK='Yes' -. git-sh-setup - -revs=$(git-rev-parse --revs-only --no-flags --default HEAD "$@") || exit -[ "$revs" ] || { - die "No HEAD ref" -} -git-rev-list --pretty $(git-rev-parse --default HEAD "$@") | -LESS=-S ${PAGER:-less} |