diff options
Diffstat (limited to 'needs-checking/p_diff')
-rwxr-xr-x | needs-checking/p_diff | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/needs-checking/p_diff b/needs-checking/p_diff index 1497b05..843e4cc 100755 --- a/needs-checking/p_diff +++ b/needs-checking/p_diff @@ -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. # # Bring up a patched file in diff. We show the diffs |