diff options
Diffstat (limited to 'unused/workman.sh')
| -rw-r--r-- | unused/workman.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/unused/workman.sh b/unused/workman.sh index cdf5b7311a8b4..2fbb7e211c6c4 100644 --- a/unused/workman.sh +++ b/unused/workman.sh @@ -1,6 +1,9 @@ #! /bin/sh -# @(#)workman.sh 8.1 +# <pre> +# @(#)workman.sh 8.2 +# This file is in the public domain, so clarified as of +# 2009-05-17 by Arthur David Olson. # Tell groff not to emit SGR escape sequences (ANSI color escapes). GROFF_NO_SGR=1 |