diff options
Diffstat (limited to 'needs-checking/extract_description')
| -rwxr-xr-x | needs-checking/extract_description | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/needs-checking/extract_description b/needs-checking/extract_description index 6fa0e68..873bb8d 100755 --- a/needs-checking/extract_description +++ b/needs-checking/extract_description @@ -1,4 +1,10 @@ -#!/bin/sh +#! /bin/bash + +# This script is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License version 2 as +# published by the Free Software Foundation. +# +# See the COPYING and AUTHORS files for more details. insert_line() { |