Project

General

Profile

« Previous | Next » 

Revision 12978

lib/sh/util.sh: added rethrow!(), which always errexits, even if $e = 0

  • added
  • modified
  • copied
  • renamed
  • deleted