Project

General

Profile

« Previous | Next » 

Revision 9218

lib/sh/util.sh: log_custom(): replace every non-whitespace character of $log_indent, and the first character of PS4, with the symbol, to make the symbol stand out on the line instead of the |||... before it

  • added
  • modified
  • copied
  • renamed
  • deleted