diff options
Diffstat (limited to 'needs-checking/export_patch')
-rwxr-xr-x | needs-checking/export_patch | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/needs-checking/export_patch b/needs-checking/export_patch index 8e7116a..77c6185 100755 --- a/needs-checking/export_patch +++ b/needs-checking/export_patch @@ -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. . patchfns 2>/dev/null || . /usr/lib/patch-scripts/patchfns 2>/dev/null || |