diff options
-rw-r--r-- | bin/sed | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,4 +1,6 @@ #!/bin/bash +# Copyright 2006 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 if [[ -n ${ESED} ]]; then exec ${ESED} "$@" |