diff options
Diffstat (limited to 'admin')
| -rwxr-xr-x | admin/make-changelog-diff | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/admin/make-changelog-diff b/admin/make-changelog-diff index 7d98d22ddf9..5ab468c8f5d 100755 --- a/admin/make-changelog-diff +++ b/admin/make-changelog-diff | |||
| @@ -1,5 +1,7 @@ | |||
| 1 | #! /bin/bash | 1 | #! /bin/bash |
| 2 | 2 | ||
| 3 | ## Author: Francesco Potorti` <pot@gnu.org> | ||
| 4 | |||
| 3 | if [ $# -ne 2 ]; then | 5 | if [ $# -ne 2 ]; then |
| 4 | echo "usage: $0 TAG1 TAG2" >&2 | 6 | echo "usage: $0 TAG1 TAG2" >&2 |
| 5 | exit 1 | 7 | exit 1 |