#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
: For shells with broken 'set -e'
fi
}
# Forced colorization should take place also with non-ANSI terminals;
# hence the "TERM=dumb" definition.
: For shells with broken 'set -e'
fi
}
# Forced colorization should take place also with non-ANSI terminals;
# hence the "TERM=dumb" definition.