diff options
Diffstat (limited to 'scripts/man_show_fixme.sh')
| -rwxr-xr-x | scripts/man_show_fixme.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/man_show_fixme.sh b/scripts/man_show_fixme.sh index 6a42b33..9c64745 100755 --- a/scripts/man_show_fixme.sh +++ b/scripts/man_show_fixme.sh @@ -7,7 +7,7 @@ for f in $*; do cat $f | awk ' /^\.\\" *FIXME/ { if ($0 ~ /.*FIXME *\..*/) { - # FIXMES of the form "FIXME ." are "private" and + # FIXMES of the form "FIXME ." are "private" and # ignored by this script } else { sub("FIXME[: ]*", "") |